From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Tue, 29 Mar 2011 17:52:53 +0000 (+0000)
Subject: remove stale import from ExtractionMain
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=679f40c6f7900f1a0dac910d5eb16687d09893e7;hp=ec8ee5cde986e5b38bcae38cda9e63eba94f1d9f

remove stale import from ExtractionMain
---

diff --git a/src/ExtractionMain.v b/src/ExtractionMain.v
index 6406f90..5deaf3a 100644
--- a/src/ExtractionMain.v
+++ b/src/ExtractionMain.v
@@ -13,7 +13,6 @@ Require Import Preamble.
 Require Import General.
 
 Require Import NaturalDeduction.
-Require Import NaturalDeductionToLatex.
 
 Require Import HaskKinds.
 Require Import HaskLiteralsAndTyCons.