From f1d63dbffde4fd0716094c35a4560ae283034c16 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Thu, 24 Nov 2022 16:42:02 +0100
Subject: [PATCH] [driver] Remove useless stuff.

---
 config/drivers/vnnlib.gen | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/config/drivers/vnnlib.gen b/config/drivers/vnnlib.gen
index c38ff12..8c73915 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
-- 
GitLab