From 449c2cef40e1e255666c5564476007027b1a9b21 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 3 Mar 2022 11:52:34 +0100
Subject: Move the names from Identifiers to Names

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

(limited to 'src/CfimOfJson.ml')

diff --git a/src/CfimOfJson.ml b/src/CfimOfJson.ml
index e78b157a..d1108913 100644
--- a/src/CfimOfJson.ml
+++ b/src/CfimOfJson.ml
@@ -9,7 +9,7 @@
  *)
 
 open Yojson.Basic
-open Identifiers
+open Names
 open OfJsonBasic
 module T = Types
 module V = Values
-- 
cgit v1.2.3