Commit e1190dd0 authored by acholewa's avatar acholewa

Removed a pair of equations from PSL-Syntax were malformed and no longer needed.

parent b1bed440
......@@ -53,6 +53,8 @@ fmod TRANSLATION-SYNTAX is
4. The role's output
---)
op _|->{_}_{_} : Role MsgSet Strand MsgSet -> StrandDatum [ctor prec 30] .
endfm
......
......@@ -398,6 +398,9 @@ def process_error(error):
#Stripping off the () around the definition
"Malformed Definition:", pslErrors.color_token(pair[1:-1])]))
raise pslErrors.TranslationError('\n'.join(errorDefs))
elif errorType.strip() == "$$$malformedTerm":
errorTerm, lineNumber = errorTerm.rsplit(',', 1)
raise pslErrors.TranslationError(' '.join([pslErrors.error, pslErrors.color_line_number(lineNumber.strip()), "Malformed term:", errorTerm]))
......
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