From fd0778c3d0895df37fad39070f8aa1ae60ef1f07 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 22 May 2021 14:22:55 -0700 Subject: [PATCH] fixing symbol -> zstring Signed-off-by: Nikolaj Bjorner --- src/ast/ast_lt.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/ast/ast_lt.cpp b/src/ast/ast_lt.cpp index a8d703259..3537dc71e 100644 --- a/src/ast/ast_lt.cpp +++ b/src/ast/ast_lt.cpp @@ -23,6 +23,7 @@ Revision History: #define check_bool(B1,B2) if (B1 != B2) return !B1 && B2 #define check_ptr(P1,P2) if (!P1 && P2) return true; if (P1 && !P2) return false #define check_ast(T1,T2) if (T1 != T2) { n1 = T1; n2 = T2; goto start; } +#define check_zstring(S1, S2) if (S1 != S2) return S1 < S2 #define check_parameter(p1, p2) { \ check_value(p1.get_kind(), p2.get_kind()); \ @@ -45,6 +46,9 @@ Revision History: case parameter::PARAM_EXTERNAL: \ check_value(p1.get_ext_id(), p2.get_ext_id()); \ break; \ + case parameter::PARAM_ZSTRING: \ + check_zstring(p1.get_zstring(), p2.get_zstring()); \ + break; \ default: \ UNREACHABLE(); \ break; \