Commit 92b5700e authored by Heiko Becker's avatar Heiko Becker

Fix bug in environment parser

parent 28b09555
......@@ -438,7 +438,7 @@ val parseGammaRec_def = tDefine "parseGammaRec"
|NONE => SOME (defaultGamma, input)
|SOME (e,residual) =>
(case residual of
| DCONST n :: DTYPE m :: inputRest =>
| DTYPE m :: inputRest =>
(case parseGammaRec inputRest of
| SOME (Gamma, rest) =>
SOME (FloverMapTree_insert e m Gamma, rest)
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment