From d7ac73c207461559f55623e8ff61d2bb7e5cf982 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 5 Jan 2022 08:44:10 +0100
Subject: Cleanup a bit

---
 src/main.ml | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/main.ml b/src/main.ml
index f2e6eb06..2d2518c7 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -1,15 +1,9 @@
 open CfimOfJson
 open Logging
 open Print
-open Contexts
 module T = Types
 module A = CfimAst
 module I = Interpreter
-module C = Contexts
-
-type test = Test [@@deriving show]
-
-let _ = show_test Test
 
 (* This is necessary to have a backtrace when raising exceptions - for some
  * reason, the -g option doesn't work *)
-- 
cgit v1.2.3