From f7cd2f53203e86f3f923fbb9ed5a0725c7a59166 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Tue, 20 Jun 2023 11:52:43 +0200
Subject: [PATCH] [examples] Remove unnecessary use of bool.Bool library.

---
 examples/acasxu/property_10.why | 1 -
 examples/acasxu/property_2.why  | 1 -
 examples/acasxu/property_4.why  | 1 -
 examples/acasxu/property_5.why  | 1 -
 examples/acasxu/property_6.why  | 1 -
 examples/acasxu/property_7.why  | 1 -
 examples/acasxu/property_8.why  | 1 -
 examples/acasxu/property_9.why  | 1 -
 8 files changed, 8 deletions(-)

diff --git a/examples/acasxu/property_10.why b/examples/acasxu/property_10.why
index 9850069..0d2d36c 100644
--- a/examples/acasxu/property_10.why
+++ b/examples/acasxu/property_10.why
@@ -1,6 +1,5 @@
 theory ACASXU_P10
   use ieee_float.Float64
-  use bool.Bool
   use int.Int
   use interpretation.Vector
   use interpretation.NeuralNetwork
diff --git a/examples/acasxu/property_2.why b/examples/acasxu/property_2.why
index 80f7309..92778b1 100644
--- a/examples/acasxu/property_2.why
+++ b/examples/acasxu/property_2.why
@@ -1,6 +1,5 @@
 theory ACASXU_P2
   use ieee_float.Float64
-  use bool.Bool
   use int.Int
   use interpretation.Vector
   use interpretation.NeuralNetwork
diff --git a/examples/acasxu/property_4.why b/examples/acasxu/property_4.why
index 39aca92..d27816b 100644
--- a/examples/acasxu/property_4.why
+++ b/examples/acasxu/property_4.why
@@ -1,6 +1,5 @@
 theory ACASXU_P4
   use ieee_float.Float64
-  use bool.Bool
   use int.Int
   use interpretation.Vector
   use interpretation.NeuralNetwork
diff --git a/examples/acasxu/property_5.why b/examples/acasxu/property_5.why
index 167e06d..76e1944 100644
--- a/examples/acasxu/property_5.why
+++ b/examples/acasxu/property_5.why
@@ -1,6 +1,5 @@
 theory ACASXU_P5
   use ieee_float.Float64
-  use bool.Bool
   use int.Int
   use interpretation.Vector
   use interpretation.NeuralNetwork
diff --git a/examples/acasxu/property_6.why b/examples/acasxu/property_6.why
index 0b63c8c..6662ed1 100644
--- a/examples/acasxu/property_6.why
+++ b/examples/acasxu/property_6.why
@@ -1,6 +1,5 @@
 theory ACASXU_P6
   use ieee_float.Float64
-  use bool.Bool
   use int.Int
   use interpretation.Vector
   use interpretation.NeuralNetwork
diff --git a/examples/acasxu/property_7.why b/examples/acasxu/property_7.why
index 9f76b7b..15caca5 100644
--- a/examples/acasxu/property_7.why
+++ b/examples/acasxu/property_7.why
@@ -1,6 +1,5 @@
 theory ACASXU_P7
   use ieee_float.Float64
-  use bool.Bool
   use int.Int
   use interpretation.Vector
   use interpretation.NeuralNetwork
diff --git a/examples/acasxu/property_8.why b/examples/acasxu/property_8.why
index 1bd941a..3ba80be 100644
--- a/examples/acasxu/property_8.why
+++ b/examples/acasxu/property_8.why
@@ -1,6 +1,5 @@
 theory ACASXU_P8
   use ieee_float.Float64
-  use bool.Bool
   use int.Int
   use interpretation.Vector
   use interpretation.NeuralNetwork
diff --git a/examples/acasxu/property_9.why b/examples/acasxu/property_9.why
index 630a527..3770fb3 100644
--- a/examples/acasxu/property_9.why
+++ b/examples/acasxu/property_9.why
@@ -1,6 +1,5 @@
 theory ACASXU_P9
   use ieee_float.Float64
-  use bool.Bool
   use int.Int
   use interpretation.Vector
   use interpretation.NeuralNetwork
-- 
GitLab