diff --git a/config/drivers/vnnlib.gen b/config/drivers/vnnlib.gen
index c38ff1226f8d2d747301bcbbdf67ac513fca0a97..8c7391569c63fc83e2662faad3d7fdd798a503f8 100644
--- a/config/drivers/vnnlib.gen
+++ b/config/drivers/vnnlib.gen
@@ -59,7 +59,6 @@ theory BuiltIn
 end
 
 theory int.Int
-
   prelude ";;; SMT-LIB2: integer arithmetic"
 
   syntax function zero "0"
@@ -79,7 +78,6 @@ theory int.Int
 end
 
 theory real.Real
-
   prelude ";;; SMT-LIB2: real arithmetic"
 
   syntax function zero "0.0"
@@ -99,11 +97,6 @@ theory real.Real
 
   remove allprops
   meta "encoding:kept" type real
-
-end
-
-theory real.Real
-
 end
 
 theory Tuple0