diff --git a/Syntax/Parse_AS_Structured.hs b/Syntax/Parse_AS_Structured.hs index f412ad231e..5561c7d2fd 100644 --- a/Syntax/Parse_AS_Structured.hs +++ b/Syntax/Parse_AS_Structured.hs @@ -89,7 +89,7 @@ sublogicChars = many $ satisfy $ \ c -> notElem c ":./\\" && isSignChar c lookupLogicM :: IRI -> AParser st String lookupLogicM i = if isSimple i then return l - else case lookupLogicName l of + else case lookupLogicName (filter (not . (`elem` "<>")) l) of Just s -> return s Nothing -> fail $ "logic " ++ show i ++ " not found" where l = iriToStringUnsecure i