X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FHaskProofToLatex.v;fp=src%2FHaskProofToLatex.v;h=41e857c3086dfa234c3b534d9b6315915635da4a;hp=1471e51ef99216243ce2f9994e83e0c428833370;hb=5e84f66deaef748276d41f29a00652c4adf5fb95;hpb=2202d864c3a2779a33f3f7d6c411d2d16770073e

diff --git a/src/HaskProofToLatex.v b/src/HaskProofToLatex.v
index 1471e51..41e857c 100644
--- a/src/HaskProofToLatex.v
+++ b/src/HaskProofToLatex.v
@@ -18,9 +18,6 @@ Require Import HaskStrong.
 Require Import HaskProof.
 Require Import HaskCoreTypes.
 
-(* escapifies any characters which might cause trouble for LaTeX *)
-Variable sanitizeForLatex    : string      -> string.        Extract Inlined Constant sanitizeForLatex      => "sanitizeForLatex".
-
 Open Scope string_scope.
 Section ToLatex.