Quote the newline.

jessealama · Jul 5, 2013 · 26a44dd · 26a44dd
1 parent 54a3ad6
commit 26a44dd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/render-tptp.xsl b/render-tptp.xsl
@@ -7,7 +7,7 @@
   <!-- //////////////////////////////////////////////////////////////////// -->
   <!-- Variables -->
   <!-- //////////////////////////////////////////////////////////////////// -->
-  <xsl:variable name="newline" select="&#10;"/>
+  <xsl:variable name="newline" select="&apos;&#10;&apos;"/>
 
   <!-- //////////////////////////////////////////////////////////////////// -->
   <!-- Templates -->

diff --git a/render-tptp.xsltxt b/render-tptp.xsltxt
@@ -7,7 +7,7 @@ output method="text";
 // Variables
 //////////////////////////////////////////////////////////////////////
 
-$newline = `&#10;`;
+$newline = `'&#10;'`;
 
 //////////////////////////////////////////////////////////////////////
 // Templates