Upgraded to 3.8 (text method changes) and fixed some bugs in

tree_to_nomsu.

1 files changed, 4 insertions, 2 deletions

diff --git a/core/errors.nom b/core/errors.nom
index 638b487..53f88be 100644
--- a/core/errors.nom
+++ b/core/errors.nom
@@ -1,4 +1,4 @@
-#!/usr/bin/env nomsu -V3.7.5.6
+#!/usr/bin/env nomsu -V3.8.7.6
 #
     This file contains basic error reporting code
 
@@ -27,7 +27,9 @@ compile [assume %a == %b] to:
             do
                 local \(mangle "a"), \(mangle "b") = \(%a as lua expr), \(%b as lua expr)
                 if \(mangle "a") ~= \(mangle "b") then
-                    error(\(quote "\%assumption").."\\n"..tostring(\(mangle "a")).." != "..tostring(\(mangle "b")), 0)
+                    error(\(quote "\%assumption").."\\n"..tostring(\(mangle "a")).." != "..tostring(\(..)
+                mangle "b"
+            ..), 0)
                 end
             end