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