aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/Makefile.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/algebra/Makefile.pamphlet')
-rw-r--r--src/algebra/Makefile.pamphlet2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet
index 1d75410b..ee5db924 100644
--- a/src/algebra/Makefile.pamphlet
+++ b/src/algebra/Makefile.pamphlet
@@ -539,7 +539,7 @@ axiom_algebra_layer_9 = \
PTFUNC2 RADCAT RADCAT- RATRET RADUTIL UPXS2 \
XFALG ZLINDEP BBTREE \
ODEIFTBL NIPROB ODEPROB OPTPROB \
- PDEPROB COLOR SIG
+ PDEPROB COLOR SIG FMONCAT
axiom_algebra_layer_9_nrlibs = \