From 679f40c6f7900f1a0dac910d5eb16687d09893e7 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Tue, 29 Mar 2011 17:52:53 +0000 Subject: [PATCH 1/1] remove stale import from ExtractionMain --- src/ExtractionMain.v | 1 - 1 file changed, 1 deletion(-) 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. -- 1.7.10.4