diff options
Diffstat (limited to 'src/algebra')
| -rw-r--r-- | src/algebra/Makefile.am | 3 | ||||
| -rw-r--r-- | src/algebra/Makefile.in | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/src/algebra/Makefile.am b/src/algebra/Makefile.am index 4308614b..50d0f4f5 100644 --- a/src/algebra/Makefile.am +++ b/src/algebra/Makefile.am @@ -470,7 +470,8 @@ strap-1/ORDSET.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ strap-1/ORDTYPE.$(FASLEXT) strap-1/FINITE.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ - strap-0/OAMONS.$(FASLEXT) strap-0/PI.$(FASLEXT) + strap-0/OAMONS.$(FASLEXT) strap-0/PI.$(FASLEXT) \ + strap-0/LIST.$(FASLEXT) strap-1/ORDFIN.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \ strap-1/FINITE.$(FASLEXT) diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 48274f0b..797e0fc8 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -1980,7 +1980,8 @@ strap-1/ORDSET.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ strap-1/ORDTYPE.$(FASLEXT) strap-1/FINITE.$(FASLEXT): strap-1/SETCAT.$(FASLEXT) \ - strap-0/OAMONS.$(FASLEXT) strap-0/PI.$(FASLEXT) + strap-0/OAMONS.$(FASLEXT) strap-0/PI.$(FASLEXT) \ + strap-0/LIST.$(FASLEXT) strap-1/ORDFIN.$(FASLEXT): strap-1/ORDSET.$(FASLEXT) \ strap-1/FINITE.$(FASLEXT) |