From 9d27e2e27db06eaad7565b55366ca8734b364fca Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 2 Aug 2023 11:03:59 +0200
Subject: Make progress proapagating the changes

---
 compiler/InterpreterLoopsCore.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'compiler/InterpreterLoopsCore.ml')

diff --git a/compiler/InterpreterLoopsCore.ml b/compiler/InterpreterLoopsCore.ml
index 209fce1c..6e33c75b 100644
--- a/compiler/InterpreterLoopsCore.ml
+++ b/compiler/InterpreterLoopsCore.ml
@@ -60,8 +60,7 @@ module type PrimMatcher = sig
   val match_rtys : T.rty -> T.rty -> T.rty
 
   (** The input primitive values are not equal *)
-  val match_distinct_primitive_values :
-    T.ety -> V.primitive_value -> V.primitive_value -> V.typed_value
+  val match_distinct_literals : T.ety -> V.literal -> V.literal -> V.typed_value
 
   (** The input ADTs don't have the same variant *)
   val match_distinct_adts : T.ety -> V.adt_value -> V.adt_value -> V.typed_value
-- 
cgit v1.2.3