diff --git a/src/TSL/ModuloTheories/Theories.hs b/src/TSL/ModuloTheories/Theories.hs
index 43f89aa..3d810df 100644
--- 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