a stopgap for #68, need to revisit, but probably just remove EUF as a…

…n TSL-MT option altogether.
Barnard-PL-Labs · Dec 23, 2023 · 1c3d029 · 1c3d029
1 parent e55b7d6
commit 1c3d029
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/TSL/ModuloTheories/Theories.hs b/src/TSL/ModuloTheories/Theories.hs
@@ -66,7 +66,7 @@ tUninterpretedFunctions = Uf
 instance Show Theory where
   show = \case
     Uf -> "UF"
-    EUf -> "EUF"
+    EUf -> "QF_UF"
     Lia -> "LIA"
 
 readTheory :: String -> Either Error Theory