diff options
| -rw-r--r-- | src/ExtractToFStar.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ExtractToFStar.ml b/src/ExtractToFStar.ml index 29203bc4..059a7f2e 100644 --- a/src/ExtractToFStar.ml +++ b/src/ExtractToFStar.ml @@ -1547,7 +1547,7 @@ let extract_global_decl_body (ctx : extraction_ctx) (fmt : F.formatter) However, generate its body separately from its declaration to extract the result value. For example, - `let x = 3` + `static X: u32 = 3;` will be translated to `let x_body : result int = Return 3` |