From 222031f6edc934ff4611a46780a148e1160c1d7b Mon Sep 17 00:00:00 2001
From: Chantal Keller <Chantal.Keller@lri.fr>
Date: Wed, 26 May 2021 18:47:52 +0200
Subject: Minor changes on the Coq part

---
 src/classes/SMT_classes.v | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/classes/SMT_classes.v')

diff --git a/src/classes/SMT_classes.v b/src/classes/SMT_classes.v
index d314aa0..5f8f17d 100644
--- a/src/classes/SMT_classes.v
+++ b/src/classes/SMT_classes.v
@@ -98,8 +98,6 @@ Class OrdType T := {
   lt_not_eq : forall x y : T, lt x y -> x <> y
 }.
 
-Hint Resolve lt_not_eq lt_trans.
-
 
 Global Instance StrictOrder_OrdType T `(OrdType T) :
   StrictOrder (lt : T -> T -> Prop).
-- 
cgit