diff options
Diffstat (limited to 'src/Substitute.ml')
-rw-r--r-- | src/Substitute.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Substitute.ml b/src/Substitute.ml index 0bc612ea..10d6d419 100644 --- a/src/Substitute.ml +++ b/src/Substitute.ml @@ -6,7 +6,7 @@ module T = Types module TU = TypesUtils module V = Values module E = Expressions -module A = CfimAst +module A = LlbcAst module C = Contexts (** Substitute types variables and regions in a type. |