diff options
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) |