From 015e5c4f5abfa175882f111d08d2027ea6caaa0d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 25 Jun 2019 11:16:47 +0200
Subject: [PATCH] [qed] unused type lc-repr

---
 src/plugins/qed/logic.ml | 1 -
 src/plugins/qed/term.ml  | 1 -
 2 files changed, 2 deletions(-)

diff --git a/src/plugins/qed/logic.ml b/src/plugins/qed/logic.ml
index 8b5a4b76a1d..b240e421dcb 100644
--- a/src/plugins/qed/logic.ml
+++ b/src/plugins/qed/logic.ml
@@ -222,7 +222,6 @@ sig
   type 'a expression = (Field.t,ADT.t,Fun.t,var,lc_term,'a) term_repr
 
   type repr = term expression
-  type lc_repr = lc_term expression
 
   type record = (Field.t * term) list
 
diff --git a/src/plugins/qed/term.ml b/src/plugins/qed/term.ml
index a1798c37812..083477bab3f 100644
--- a/src/plugins/qed/term.ml
+++ b/src/plugins/qed/term.ml
@@ -66,7 +66,6 @@ struct
   and repr = (Field.t,ADT.t,Fun.t,var,term,term) term_repr
 
   type lc_term = term
-  type lc_repr = repr
 
   type 'a expression = (Field.t,ADT.t,Fun.t,var,lc_term,'a) term_repr
 
-- 
GitLab