diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/monoize.sml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 85b9a39e..25b608bb 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -1823,10 +1823,11 @@ fun monoExp (env, st, fm) (all as (e, loc)) = strcatComma (map (fn (x, _) => strcat [sc ("uw_" ^ x ^ " = "), - (L'.EField - ((L'.ERel 2, - loc), - x), loc)]) + (L'.EFfiApp ("Basis", "unAs", + [(L'.EField + ((L'.ERel 2, + loc), + x), loc)]), loc)]) changed), sc " WHERE ", (L'.EFfiApp ("Basis", "unAs", [(L'.ERel 0, loc)]), loc)]), |