minor adjustments

palmskog · palmskog · commit 420247ee3d0b · 2018-09-08T23:45:28.000-05:00
diff --git a/Examples/Make b/Examples/Make
@@ -1,4 +1,4 @@
--Q . DiSeL.Examples
+-Q . DiSeL
 -arg "-w -notation-overridden,-local-declaration,-redundant-canonical-projection,-projection-no-head-constant"
 
 SeqLib.v
diff --git a/Examples/SeqLib.v b/Examples/SeqLib.v
@@ -1,7 +1,5 @@
-From mathcomp.ssreflect
-Require Import ssreflect ssrbool ssrnat eqtype ssrfun seq.
 From mathcomp
-Require Import path.
+Require Import ssreflect ssrbool ssrnat eqtype ssrfun seq path.
 Require Import Eqdep.
 
 (*************************************************************)

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`--Q . DiSeL.Examples`
	`1`	`+-Q . DiSeL`
`2`	`2`	`-arg "-w -notation-overridden,-local-declaration,-redundant-canonical-projection,-projection-no-head-constant"`
`3`	`3`
`4`	`4`	`SeqLib.v`