From 1e4dc4f2f4fa3d7f6972cd73647e6fb5668503f8 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 4 Jan 2022 09:04:32 +0100
Subject: Implement compute_expanded_symbolic_adt_value

---
 src/Identifiers.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Identifiers.ml')

diff --git a/src/Identifiers.ml b/src/Identifiers.ml
index 68a176bb..04f6c1b8 100644
--- a/src/Identifiers.ml
+++ b/src/Identifiers.ml
@@ -31,7 +31,7 @@ module type Id = sig
 
   val to_int : id -> int
 
-  val of_int : id -> int
+  val of_int : int -> id
 
   val nth : 'a list -> id -> 'a
 
-- 
cgit v1.2.3