diff --git a/src/witness/svcomp.ml b/src/witness/svcomp.ml
index 218f0716ae..eae97b1199 100644
--- 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
index 9bd5a35e3e..66b3b83ac8 100644
--- 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