diff options
| author | Sidney Congard | 2022-08-11 10:39:04 +0200 |
|---|---|---|
| committer | Sidney Congard | 2022-08-11 10:39:04 +0200 |
| commit | fa491861faed3ba5ed4fe806b55bea663a29579c (patch) | |
| tree | 05a4e268aedfdea0b14ac9e44f8ee66210aeae65 /src | |
| parent | cd754eabe3af025ca3465c5fc6d8cb48da66a1ae (diff) | |
Correct assertion for stateless globals
Diffstat (limited to '')
| -rw-r--r-- | src/FunsAnalysis.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/FunsAnalysis.ml b/src/FunsAnalysis.ml index 65a130c8..39fa316d 100644 --- a/src/FunsAnalysis.ml +++ b/src/FunsAnalysis.ml @@ -94,7 +94,7 @@ let analyze_module (m : llbc_module) super#visit_Loop env loop end in - assert (not f.is_global_body || not use_state); + assert (not f.is_global_body || not !stateful); (match f.body with | None -> (* Opaque function *) |