diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-30 17:15:14 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-30 17:15:14 -0400 |
| commit | 2307ccdcc5eb4ddfe719ddcbea999f7705ec79c3 (patch) | |
| tree | 4be9b76a5e655b9f28be47710cc47e600a369a14 /src/corify.sml | |
| parent | db2f1f208afef9110d8a5796a2325928a92b62cc (diff) | |
C FFI compiler 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") |