Commit ba9622aa authored by Sylvain Soliman's avatar Sylvain Soliman

no more R

parent 0eab21f6
......@@ -507,7 +507,7 @@ check_ctl_impl(Query, all, NusmvCX, Result) :-
enumerate_all_molecules(Molecules),
findall(T, trace(T), Trace),
forall(
member(Line, [['R' | Molecules] | Trace]),
member(Line, [Molecules | Trace]),
(
atomic_list_concat(Line, '\t', Atom),
write(Atom),
......
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