X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FExtractionMain.v;h=d500e79fcf79c55bf5ff8f39137c3a5963c44310;hp=4da66c714f19ef76d5ab8af3f2a5bcafb26c8041;hb=db8c9d54c285980e162e393efd1b7316887e5b80;hpb=9241d797587022ecd51e3c38cd34588de6745524

diff --git a/src/ExtractionMain.v b/src/ExtractionMain.v
index 4da66c7..d500e79 100644
--- a/src/ExtractionMain.v
+++ b/src/ExtractionMain.v
@@ -13,6 +13,7 @@ Require Import Preamble.
 Require Import General.
 
 Require Import NaturalDeduction.
+Require Import NaturalDeductionContext.
 
 Require Import HaskKinds.
 Require Import HaskLiterals.