diff options
Diffstat (limited to 'ltac/g_class.ml4')
-rw-r--r-- | ltac/g_class.ml4 | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/ltac/g_class.ml4 b/ltac/g_class.ml4 index 9ef154541..77075ec4c 100644 --- a/ltac/g_class.ml4 +++ b/ltac/g_class.ml4 @@ -10,8 +10,6 @@ open Misctypes open Class_tactics -open Pcoq.Prim -open Pcoq.Constr open Pcoq.Tactic open Stdarg open Constrarg |