diff options
| -rw-r--r-- | contrib/extraction/test/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/contrib/extraction/test/Makefile b/contrib/extraction/test/Makefile index 9c4f87e944..1db621f183 100644 --- a/contrib/extraction/test/Makefile +++ b/contrib/extraction/test/Makefile @@ -11,8 +11,6 @@ theories/Arith/Arith.vo \ theories/Lists/List.vo \ theories/Reals/Rsyntax.vo \ theories/Num/% \ -theories/Relations/Rstar.vo \ -theories/Sets/Integers.vo \ theories/ZArith/Zsyntax.vo DIRS:= $(shell (cd $(TOPDIR);find theories -type d ! -name CVS)) |