typo

Gbury · Sep 4, 2024 · 149ef7d · 149ef7d
1 parent d35763c
commit 149ef7d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/loop/export.ml b/src/loop/export.ml
@@ -166,7 +166,7 @@ let polymorphic_function_in_smt2 =
   Report.Error.mk ~code ~mnemonic:"export-smt2-poly"
     ~message:(fun fmt () -> (* TODO: find the location ? *)
         Format.fprintf fmt "%a" Format.pp_print_text
-          "Cannot print: SSMT-LIB2 version 2.6 and earlier do not allow polymorphic \
+          "Cannot print: SMT-LIB2 version 2.6 and earlier do not allow polymorphic \
            function declarations or definitions.")
     ~name:"Polymorphic function in SMT-LIB2" ()
 

diff --git a/tests/print/smtlib/v2.6/poly.expected b/tests/print/smtlib/v2.6/poly.expected
@@ -1,3 +1,3 @@
 (set-logic QF_UF)
-Error Cannot print: SSMT-LIB2 version 2.6 and earlier do not allow
-      polymorphic function declarations or definitions.
+Error Cannot print: SMT-LIB2 version 2.6 and earlier do not allow polymorphic
+      function declarations or definitions.