diff options
Diffstat (limited to 'src/algebra/Makefile.in')
| -rw-r--r-- | src/algebra/Makefile.in | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 4c046dc8..09351663 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -201,8 +201,8 @@ axiom_algebra_bootstrap = \ RCAGG- RING RING- \ RNG RNS RNS- SETAGG \ SETAGG- SINT \ - STAGG STAGG- SYMBOL TSETCAT \ - TSETCAT- UFD UFD- ULSCAT \ + STAGG STAGG- SYMBOL \ + UFD UFD- ULSCAT \ UPOLYC UPOLYC- URAGG URAGG- \ VECTOR @@ -219,8 +219,8 @@ axiom_algebra_bootstrap_last_layer = \ PSETCAT- QFCAT QFCAT- \ RNS RNS- \ SINT \ - SYMBOL TSETCAT \ - TSETCAT- ULSCAT \ + SYMBOL \ + ULSCAT \ UPOLYC UPOLYC- \ VECTOR @@ -755,7 +755,7 @@ axiom_algebra_layer_19 = \ SET SPECOUT SQMATRIX SWITCH \ SYSSOLP UTSCAT \ UTSCAT- VARIABLE WFFINTBS SPADPRSR \ - PARSER PROPFRML + PARSER PROPFRML TSETCAT TSETCAT- axiom_algebra_layer_19_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_19)) |