VDMUtil tweaks

nickbattle · Nov 5, 2023 · e69684f · e69684f
1 parent d5e1332
commit e69684f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/stdlib/src/main/java/VDMUtil.java b/stdlib/src/main/java/VDMUtil.java
@@ -68,7 +68,7 @@ public static Value val2seq_of_char(Value arg)
 	}
 
 	@VDMFunction
-	public static Value seq_of_char2val_(Value arg)
+	public static Value seq_of_char2val(Value arg)
 	{
 		ValueList result = new ValueList();