@@ -1802,7 +1802,6 @@ Void function user_function_skip_init(user_id : String):
while (True):
cmd = input()
- log("Executing " + cmd)
if (cmd == "help"):
output(cmd_help(user_id))
elif (cmd == "model_add"):
@@ -252,7 +252,6 @@ String function dict_to_string(d : Element):
return result!
Element function set_overlap(sa : Element, sb : Element):
- // This has a compiled version as there seems to be a non-deterministic bug in this code, or at least in the executed code
Element result
Element elem