summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorSon HO2022-09-22 16:27:12 +0200
committerGitHub2022-09-22 16:27:12 +0200
commit08e46b0dae3532ed646e6d39894726700d066a50 (patch)
tree439c22d4c6a55e19f7cb094baaf02f018048377d /src
parent763e4e641f2dc349bee1820d2c5e4310fc2f07fa (diff)
Update src/ExtractToFStar.ml
Diffstat (limited to 'src')
-rw-r--r--src/ExtractToFStar.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ExtractToFStar.ml b/src/ExtractToFStar.ml
index 059a7f2e..5e33566f 100644
--- a/src/ExtractToFStar.ml
+++ b/src/ExtractToFStar.ml
@@ -1546,7 +1546,7 @@ let extract_global_decl_body (ctx : extraction_ctx) (fmt : F.formatter)
This has similarity with the function extraction above (without parameters).
However, generate its body separately from its declaration to extract the result value.
- For example,
+ For example in Rust,
`static X: u32 = 3;`
will be translated to