From 3ab947ce345e9d18ddcda57d8f88b2a9b8f5d267 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 12 Oct 2015 11:48:36 +0200
Subject: Removal of cchecklink, superseded by AbsInt's Valex tool.

---
 checklink/Exc.ml | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 checklink/Exc.ml

(limited to 'checklink/Exc.ml')

diff --git a/checklink/Exc.ml b/checklink/Exc.ml
deleted file mode 100644
index 101087d2..00000000
--- a/checklink/Exc.ml
+++ /dev/null
@@ -1,2 +0,0 @@
-exception IntOverflow
-exception Int32Overflow
-- 
cgit