diff options
Diffstat (limited to 'src/Invariants.ml')
-rw-r--r-- | src/Invariants.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Invariants.ml b/src/Invariants.ml index 78d7cb8d..f12911d4 100644 --- a/src/Invariants.ml +++ b/src/Invariants.ml @@ -6,7 +6,7 @@ module V = Values module E = Expressions module C = Contexts module Subst = Substitute -module A = CfimAst +module A = LlbcAst module L = Logging open Cps open TypesUtils |