diff options
Diffstat (limited to 'src/SymbolicAst.ml')
| -rw-r--r-- | src/SymbolicAst.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/SymbolicAst.ml b/src/SymbolicAst.ml index aad5de15..3df91d23 100644 --- a/src/SymbolicAst.ml +++ b/src/SymbolicAst.ml @@ -6,7 +6,7 @@ module T = Types module V = Values module E = Expressions -module A = CfimAst +module A = LlbcAst type mplace = { bv : Contexts.binder; |