propagate the change every where

EasyCrypt · Nov 25, 2023 · ae349f4 · ae349f4
1 parent 2d62455
commit ae349f4
Show file tree

Hide file tree

Showing 62 changed files with 508 additions and 1,869 deletions.
diff --git a/src/ecCHoare.ml b/src/ecCHoare.ml
@@ -1,6 +1,7 @@
 (* -------------------------------------------------------------------- *)
 (* Function for cost                                                    *)
 open EcUtils
+open EcAst
 open EcTypes
 open EcFol
 open EcEnv

diff --git a/src/ecCallbyValue.ml b/src/ecCallbyValue.ml
@@ -1,6 +1,7 @@
 (* -------------------------------------------------------------------- *)
 open EcUtils
 open EcIdent
+open EcAst
 open EcTypes
 open EcEnv
 open EcFol