diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Translate.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Translate.ml b/src/Translate.ml index a440cacd..76f8aa44 100644 --- a/src/Translate.ml +++ b/src/Translate.ml @@ -398,7 +398,7 @@ let extract_definitions (fmt : Format.formatter) (config : gen_config) | Enum _ | Struct _ -> (false, qualif) | Opaque -> let qualif = - if config.interface then ExtractToFStar.Type + if config.interface then ExtractToFStar.TypeVal else ExtractToFStar.AssumeType in (true, qualif) |