X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FHaskProofToLatex.v;fp=src%2FHaskProofToLatex.v;h=9d88e7926f436e539dcbb1eeb77e951c003e3fd4;hp=4319a1c4cff2a44118a19a8b0968cd29d03bd241;hb=db8c9d54c285980e162e393efd1b7316887e5b80;hpb=9241d797587022ecd51e3c38cd34588de6745524

diff --git a/src/HaskProofToLatex.v b/src/HaskProofToLatex.v
index 4319a1c..9d88e79 100644
--- a/src/HaskProofToLatex.v
+++ b/src/HaskProofToLatex.v
@@ -6,6 +6,7 @@ Generalizable All Variables.
 Require Import Preamble.
 Require Import General.
 Require Import NaturalDeduction.
+Require Import NaturalDeductionContext.
 Require Import Coq.Strings.String.
 Require Import Coq.Lists.List.
 Require Import HaskKinds.