diff --git a/util/all.v b/util/all.v
index 0bb353a0946f518edfe24d976b418dda6098c8fd..42eb874b279fd507226a80088d4fe26fdfb96d76 100644
--- a/util/all.v
+++ b/util/all.v
@@ -1,5 +1,3 @@
-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.