From 7c6047254e5aa7ce5a0667b14676b22a7447f956 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Mon, 10 Sep 2018 16:26:08 -0700 Subject: Upgraded to 3.8 (text method changes) and fixed some bugs in tree_to_nomsu. --- core/errors.nom | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'core/errors.nom') 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 -- cgit v1.2.3