From 19ca8f80e7e35e8f6c41c99bd311b3c7df2033e2 Mon Sep 17 00:00:00 2001
From: Nickolai Zeldovich
Date: Sun, 5 Apr 2015 01:14:42 -0400
Subject: add ExtrHaskellBasic.v to mirror ExtrOcamlBasic.v

---
 plugins/extraction/vo.itarget | 1 +
 1 file changed, 1 insertion(+)

(limited to 'plugins/extraction/vo.itarget')

diff --git a/plugins/extraction/vo.itarget b/plugins/extraction/vo.itarget
index 1fe09f6fa2..f04890480f 100644
--- a/plugins/extraction/vo.itarget
+++ b/plugins/extraction/vo.itarget
@@ -1,3 +1,4 @@
+ExtrHaskellBasic.vo
 ExtrOcamlBasic.vo
 ExtrOcamlIntConv.vo
 ExtrOcamlBigIntConv.vo
-- 
cgit v1.2.3