Convert input to RecordValue if possible.

tlaplus · Nov 20, 2019 · d8494ba · d8494ba
1 parent 403b14e
commit d8494ba
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/modules/SVG.java b/modules/SVG.java
@@ -46,12 +46,12 @@ private SVG() {
 	 *	 innerText 	|-> <string> ]
 	 */
 	public static Value SVGElemToString(Value elem) throws Exception {
-		if (!(elem instanceof RecordValue)) {
+		if (!(elem instanceof RecordValue) || elem.toRcd() == null) {
 			throw new Exception(
-					"An SVG element must be a record. Value given is of type: " + elem.getClass().toString());
+					"An SVG element must be a record. Value given is of type: " + elem.getClass().getName());
 		}
 
-		RecordValue frv = (RecordValue) elem;
+		RecordValue frv = (RecordValue) elem.toRcd();
 
 		// Get 'name'.
 		StringValue nameVal = (StringValue) frv.apply(new StringValue("name"), 0);