Skip to content
Snippets Groups Projects
Commit 105fb636 authored by sven.panne@aedion.de's avatar sven.panne@aedion.de
Browse files

[project @ 2000-02-21 18:56:02 by panne]

Fixed typo in deprecations parsing
parent 3909a13c
No related merge requests found
......@@ -366,7 +366,7 @@ rule_forall : '__forall' '{' core_bndrs '}' { $3 }
deprecs :: { [(Maybe FAST_STRING, FAST_STRING)] }
deprecs : {- empty -} { [] }
| deprecs ';' deprec { $3 : $1 }
| deprecs deprec ';' { $2 : $1 }
deprec :: { (Maybe FAST_STRING, FAST_STRING) }
deprec : STRING { (Nothing, $1) }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment