diff options
author | dos-reis <gdr@axiomatics.org> | 2013-06-06 10:54:30 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-06-06 10:54:30 +0000 |
commit | d854f5d3857fe598fa71a3586e630285923b22ec (patch) | |
tree | 84a56ebac19dda6d03b37c45229f061e6dfdc29d /src/algebra/Makefile.am | |
parent | 71973c11127cb433375ebe081021b88ff22f7b0f (diff) | |
download | open-axiom-d854f5d3857fe598fa71a3586e630285923b22ec.tar.gz |
Add some algebra dependencies
Diffstat (limited to 'src/algebra/Makefile.am')
-rw-r--r-- | src/algebra/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/Makefile.am b/src/algebra/Makefile.am index c86a99fe..306669ba 100644 --- a/src/algebra/Makefile.am +++ b/src/algebra/Makefile.am @@ -400,7 +400,7 @@ strap-1/ORDSET.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ strap-1/ORDTYPE.$(FASLEXT) strap-1/FINITE.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ - strap-0/PI.$(FASLEXT) + strap-0/OAMONS.$(FASLEXT) strap-0/PI.$(FASLEXT) strap-1/ORDFIN.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \ strap-1/FINITE.$(FASLEXT) |