diff options
| author | Son Ho | 2022-10-13 18:22:28 +0200 |
|---|---|---|
| committer | Son Ho | 2022-10-13 18:22:28 +0200 |
| commit | 10e9c20073e1fcd3acf1194b9074a21bdccd44ca (patch) | |
| tree | 32b71f13ffa03c1927cd0ff45820cc2a8b808954 /src/TranslateCore.ml | |
| parent | e7b4aba11391bede785799237a73ef7bd16d0372 (diff) | |
Rename Modules to Crates
Diffstat (limited to 'src/TranslateCore.ml')
| -rw-r--r-- | src/TranslateCore.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/TranslateCore.ml b/src/TranslateCore.ml index 326bb05f..a658147d 100644 --- a/src/TranslateCore.ml +++ b/src/TranslateCore.ml @@ -4,7 +4,6 @@ open InterpreterStatements module L = Logging module T = Types module A = LlbcAst -module M = Modules module SA = SymbolicAst module FA = FunsAnalysis |