diff options
Diffstat (limited to 'src/algebra/Makefile.in')
| -rw-r--r-- | src/algebra/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
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) |