diff options
Diffstat (limited to 'Makefile.build')
| -rw-r--r-- | Makefile.build | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.build b/Makefile.build index ecde859fc3..b4880e1240 100644 --- a/Makefile.build +++ b/Makefile.build @@ -476,7 +476,6 @@ strings: $(STRINGSVO) sets: $(SETSVO) fsets: $(FSETSVO) allfsets: $(ALLFSETS) -intmap: $(INTMAPVO) relations: $(RELATIONSVO) wellfounded: $(WELLFOUNDEDVO) ints: $(INTSVO) @@ -491,7 +490,7 @@ integer: $(INTEGERVO) rational: $(RATIONALVO) numbers: $(NUMBERSVO) -noreal: logic arith bool zarith qarith lists sets fsets intmap relations \ +noreal: logic arith bool zarith qarith lists sets fsets relations \ wellfounded setoids sorting ########################################################################### |