Commit 4da65e79 authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

Fixed by correcting normalisation of dicts

parent 113a88c4
......@@ -89,7 +89,7 @@ test('ColGivenCheck', normal, compile, [''])
test('ColGivenCheck2', normal, compile, [''])
test('InstEqContext', normal, compile, [''])
test('InstEqContext2', expect_fail, compile, [''])
test('InstEqContext2', normal, compile, [''])
test('InstEqContext3', normal, compile, [''])
test('HO', normal, compile, [''])
......
Supports Markdown
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