Commit bcc90665 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain

removed useless message

parent a3911976
......@@ -641,7 +641,3 @@ parse_nusmv_out_trace(Out) :-
state_string_to_trace(String, Trace) :-
split_string(String, "\t", "\t", [_ | Trace]).
prolog:message(error(unknown_molecule)) -->
['Unknown molecule in query.'].
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