Commit 56270914 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain

bugfix nusmv translation

parent 9ed796d3
......@@ -343,7 +343,9 @@ make_nusmv_name(Molecule, Name) :-
(
member(Char, MoleculeChars),
(
once(translate_char(Char, TranslatedChar))
translate_char(Char, TranslatedChar)
->
true
;
TranslatedChar = Char
)
......@@ -357,16 +359,16 @@ translate_char('_', '__').
translate_char(',', '_c').
translate_char('~', '_l').
translate_char('(', '_L').
translate_char(')', '_R').
translate_char('~', '').
translate_char('{', '_l').
translate_char('}', '_r').
translate_char('(', '_L').
translate_char(')', '_R').
reserved('B').
......
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