diff options
Diffstat (limited to 'compiler/ExtractToFStar.ml')
| -rw-r--r-- | compiler/ExtractToFStar.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/ExtractToFStar.ml b/compiler/ExtractToFStar.ml index b44b8f25..7267101c 100644 --- a/compiler/ExtractToFStar.ml +++ b/compiler/ExtractToFStar.ml @@ -1,6 +1,6 @@ (** Extract to F* *) -open Errors +open Utils open Pure open PureUtils open TranslateCore |