Commit 07b79639 authored by David Rosenblueth's avatar David Rosenblueth

Fixed some errors

parent beb0db6f
......@@ -32,7 +32,7 @@ biocham: platform/current swipl-biocham $(MODULES) toc.org Makefile
biocham_debug: platform/current swipl-biocham $(MODULES) $(TEST_MODULES) \
toc.org Makefile
$(SWIPL) -o biocham_debug \
--goal=initialize -c $(MODULES) $(TEST_MODULES)
--goal='(leash(-all),initialize)' -c $(MODULES) $(TEST_MODULES)
swipl-biocham: swipl-biocham.o \
modules/graphviz/graphviz_swiprolog.o \
......
......@@ -412,7 +412,7 @@ sign(+ A, 1, A).
sign(- A, -1, A).
additive_block(+ A, [-A]).
additive_block(+ A, [+A]).
additive_block(- A, [-A]).
......
......@@ -84,6 +84,9 @@ foltl_predicate(E >= F) :-
foltl_expression(F).
:- grammar(foltl_expression).
foltl_expression(E + F) :-
foltl_expression(E),
foltl_expression(F).
......
File mode changed from 100644 to 100755
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment