move eol:string to General.v

[coq-hetmet.git] / src / NaturalDeductionToLatex.v

diff --git a/src/NaturalDeductionToLatex.v b/src/NaturalDeductionToLatex.v
index 34f2894..2d6fb55 100644 (file)
--- a/src/NaturalDeductionToLatex.v
+++ b/src/NaturalDeductionToLatex.v
@@ -9,10 +9,6 @@ Require Import Coq.Strings.Ascii.
 Require Import Coq.Strings.String.
 Require Import NaturalDeduction.
 
-(* string stuff *)
-Variable eol : string.
-Extract Constant eol  => "'\n':[]".
-
 Section ToLatex.
 
   Context {Judgment : Type}.