diff options
Diffstat (limited to 'src/corify.sml')
-rw-r--r-- | src/corify.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/corify.sml b/src/corify.sml index f1895e19..19568b8b 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -890,7 +890,7 @@ fun corifyDecl mods (all as (d, loc : EM.span), st) = val st = St.bindStr st m n (St.ffi m cmap conmap) in - (rev ds, St.basisIs (st, n)) + (rev ds, if m = "Basis" then St.basisIs (st, n) else st) end | _ => raise Fail "Non-const signature for FFI structure") |