Also function "arg_to_string" is not used.

(Found by LLM.)  Seems reasonable to me.

Waldek, if you agree with that, feel free to commit corrections.

- Qian

diff --git a/src/algebra/hypertex.spad b/src/algebra/hypertex.spad
index 115cee72..6a65f891 100644
--- a/src/algebra/hypertex.spad
+++ b/src/algebra/hypertex.spad
@@ -1774,7 +1774,7 @@
                 predicate_to_strings(destruct(p)(2), do_link, acc)
             op = 'has =>
                 has_to_strings(destruct(cdr(p)), do_link, acc)
-            error "emit_predicate: unimplemented"
+            error "predicate_to_strings: unimplemented"

         condition_to_string(p : SE) : String ==
             ls := predicate_to_strings(p, false, [])
@@ -1849,7 +1849,7 @@
                                           "unexpected argument value4"
                                 lss : List(String) := ["["]
                                 first1 : Boolean := true
-                                for s1 in lss repeat
+                                for s1 in ls1l repeat
                                     if not(first1) then
                                         lss := cons(", ", lss)
                                     first1 := false

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion visit 
https://groups.google.com/d/msgid/fricas-devel/bb0310b0-28bd-40aa-b5ff-ecc9151568cf%40gmail.com.

Reply via email to