From f852e1a1334b7506c0baf366b9e75cd01b9c843e Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 21 Nov 2023 12:15:37 +0100
Subject: Rename PrimitiveValues to Values

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

(limited to 'compiler/PrimitiveValuesUtils.ml')

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