From 6001c7241e50af8d9e1cd05fa2c97372a2ac9778 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 3 Mar 2022 18:27:17 +0100
Subject: In fun_id rename the variant Local to Regular

---
 src/main.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/main.ml')

diff --git a/src/main.ml b/src/main.ml
index 577ba666..6d4888f9 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -102,7 +102,8 @@ let () =
   let filename =
     match !filenames with
     | [ f ] ->
-        if not (Filename.check_suffix f ".llbc") then (
+        (* TODO: update the extension *)
+        if not (Filename.check_suffix f ".cfim") then (
           print_string "Unrecognized file extension";
           fail ())
         else if not (Sys.file_exists f) then (
-- 
cgit v1.2.3