coq 8.6 fix

vzaliva · Jan 5, 2017 · 2790980 · 2790980
1 parent 813aa21
commit 2790980
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Test.v b/Test.v
@@ -1,7 +1,7 @@
 Require Import Bool.DecBool.
  Require Import Arith.Min.
 Require Import   Omega. (* comment *)
-Require Import BinNums  Coq.List Setoid.
+Require Import BinNums  List Setoid.
 Require Import Setoid. (* Presently for testing only. Consider moving it elsewhere *)
 
 (* requires Arith.Min *)