From 2a0ecfbef81231a394df71817a4cd9e81582b7de Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Sun, 13 Nov 2022 23:02:00 +0100
Subject: Make minor modifications

---
 compiler/ExtractToCoq.ml | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 compiler/ExtractToCoq.ml

(limited to 'compiler/ExtractToCoq.ml')

diff --git a/compiler/ExtractToCoq.ml b/compiler/ExtractToCoq.ml
deleted file mode 100644
index 3681adc3..00000000
--- a/compiler/ExtractToCoq.ml
+++ /dev/null
@@ -1,8 +0,0 @@
-(** Utilities for the extraction to Coq *)
-
-open Utils
-open Pure
-open TranslateCore
-open ExtractBase
-open StringUtils
-module F = Format
-- 
cgit v1.2.3