Remove LoadPath from util/all.v

52dc407a · Felipe Cerqueira · e61a702b · 52dc407a
Commit 52dc407a authored Jul 12, 2016 by Felipe Cerqueira
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 3 deletions

util/all.v util/all.v +1 -3

No files found.
--- a/util/all.v
+++ b/util/all.v
-Add LoadPath ".." as rt.
-
 Require Export rt.util.tactics.
 Require Export rt.util.notation.
 Require Export rt.util.bigcat.
@@ -15,4 +13,4 @@ Require Export rt.util.powerset.
 Require Export rt.util.sorting.
 Require Export rt.util.ssromega.
 Require Export rt.util.sum.
-Require Export rt.util.seqset.
\ No newline at end of file
+Require Export rt.util.seqset.