From 21e3b719f2338f4d4a65c91edc0eb83d0b22393e Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 15 Nov 2023 22:03:21 +0100
Subject: Start updating the name type, cleanup the names and the module
 abbrevs

---
 compiler/Names.ml | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 compiler/Names.ml

(limited to 'compiler/Names.ml')

diff --git a/compiler/Names.ml b/compiler/Names.ml
deleted file mode 100644
index 97dbc180..00000000
--- a/compiler/Names.ml
+++ /dev/null
@@ -1 +0,0 @@
-include Charon.Names
-- 
cgit v1.2.3