Commit 766d7eee authored by johnvg@science.ru.nl's avatar johnvg@science.ru.nl
Browse files

fix previous commit (BENodeDefList)

parent a09e8b55
...@@ -345,7 +345,7 @@ BENodeIdP BEWildCardNodeId (void); ...@@ -345,7 +345,7 @@ BENodeIdP BEWildCardNodeId (void);
Clean (BEWildCardNodeId :: BackEnd -> (BENodeIdP, BackEnd)) Clean (BEWildCardNodeId :: BackEnd -> (BENodeIdP, BackEnd))
BENodeDefP BENodeDefList (int sequenceNumber, BENodeP node, BENodeDefP nodeDefs); BENodeDefP BENodeDefList (int sequenceNumber, BENodeP node, BENodeDefP nodeDefs);
Clean (BENodeDef :: Int BENodeP BENodeDefP BackEnd -> (BENodeDefP, BackEnd)) Clean (BENodeDefList :: Int BENodeP BENodeDefP BackEnd -> (BENodeDefP, BackEnd))
BENodeDefP BENoNodeDefs (void); BENodeDefP BENoNodeDefs (void);
Clean (BENoNodeDefs :: BackEnd -> (BENodeDefP, BackEnd)) Clean (BENoNodeDefs :: BackEnd -> (BENodeDefP, BackEnd))
......
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