From 7e7d0d67de8285e1d6c589750191bce4f49aacb3 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 27 Oct 2022 09:16:46 +0200
Subject: Reorganize a bit the project

---
 src/ConstStrings.ml | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 src/ConstStrings.ml

(limited to 'src/ConstStrings.ml')

diff --git a/src/ConstStrings.ml b/src/ConstStrings.ml
deleted file mode 100644
index ae169a2e..00000000
--- a/src/ConstStrings.ml
+++ /dev/null
@@ -1,7 +0,0 @@
-(** Some utilities *)
-
-(** Basename for state variables (introduced when using state-error monads) *)
-let state_basename = "st"
-
-(** ADT constructor prefix (used when pretty-printing) *)
-let constructor_prefix = "Mk"
-- 
cgit v1.2.3