From e0351ad287332d5d1c71cee6a834f775db98966d Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 15 Nov 2023 22:08:36 +0100
Subject: Do more cleanup

---
 compiler/AssociatedTypes.ml | 3 +--
 compiler/FunsAnalysis.ml    | 6 +++---
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/compiler/AssociatedTypes.ml b/compiler/AssociatedTypes.ml
index 06c7827a..2442f93a 100644
--- a/compiler/AssociatedTypes.ml
+++ b/compiler/AssociatedTypes.ml
@@ -12,10 +12,9 @@ open Values
 open LlbcAst
 open Contexts
 module Subst = Substitute
-module L = Logging
 
 (** The local logger *)
-let log = L.associated_types_log
+let log = Logging.associated_types_log
 
 let trait_type_ref_substitute (subst : Subst.subst) (r : trait_type_ref) :
     trait_type_ref =
diff --git a/compiler/FunsAnalysis.ml b/compiler/FunsAnalysis.ml
index d6898e96..57aa9e12 100644
--- a/compiler/FunsAnalysis.ml
+++ b/compiler/FunsAnalysis.ml
@@ -8,7 +8,7 @@
  *)
 
 open LlbcAst
-module EU = ExpressionsUtils
+open ExpressionsUtils
 
 (** Various information about a function.
 
@@ -85,9 +85,9 @@ let analyze_module (m : crate) (funs_map : fun_decl FunDeclId.Map.t)
           method! visit_rvalue _env rv =
             match rv with
             | Use _ | RvRef _ | Global _ | Discriminant _ | Aggregate _ -> ()
-            | UnaryOp (uop, _) -> can_fail := EU.unop_can_fail uop || !can_fail
+            | UnaryOp (uop, _) -> can_fail := unop_can_fail uop || !can_fail
             | BinaryOp (bop, _, _) ->
-                can_fail := EU.binop_can_fail bop || !can_fail
+                can_fail := binop_can_fail bop || !can_fail
 
           method! visit_Call env call =
             (match call.func.func with
-- 
cgit v1.2.3