summaryrefslogtreecommitdiff
path: root/src/monoize.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/monoize.sml')
-rw-r--r--src/monoize.sml9
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)]),