Remove unused [@@deriving ord] on SV-COMP spec

goblint · Nov 2, 2023 · f147d9b · f147d9b
1 parent bb163a5
commit f147d9b
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/src/witness/svcomp.ml b/src/witness/svcomp.ml
@@ -44,7 +44,6 @@ struct
     | True
     | False of Specification.t option
     | Unknown
-  [@@deriving ord]
 
   let to_string = function
     | True -> "true"

diff --git a/src/witness/svcompSpec.ml b/src/witness/svcompSpec.ml
@@ -10,7 +10,6 @@ type t =
   | ValidDeref
   | ValidMemtrack
   | ValidMemcleanup
-[@@deriving ord]
 
 type multi = t list