From c8732461bfb11206f1e150db8ed5934cd388460f Mon Sep 17 00:00:00 2001
From: Jesse Alama <jesse.alama@gmail.com>
Date: Fri, 5 Jul 2013 07:45:26 +0200
Subject: [PATCH] Typo.

---
 render-tptp.xsl    | 2 +-
 render-tptp.xsltxt | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/render-tptp.xsl b/render-tptp.xsl
index 0a78865..f47ef12 100644
--- a/render-tptp.xsl
+++ b/render-tptp.xsl
@@ -61,7 +61,7 @@
   <xsl:template name="chomp-front">
     <xsl:param name="s"/>
     <xsl:choose>
-      <xsl:when test="starts-ith ($s, &quot;\n&quot;)">
+      <xsl:when test="starts-with ($s, &quot;\n&quot;)">
         <xsl:value-of select="substring-after ($s, &quot;
 &quot;)"/>
       </xsl:when>
diff --git a/render-tptp.xsltxt b/render-tptp.xsltxt
index df52f20..38980fd 100644
--- a/render-tptp.xsltxt
+++ b/render-tptp.xsltxt
@@ -43,7 +43,7 @@ tpl [comment] {
 
 // if the string starts with a newline, delete it
 tpl chomp-front (#s) {
-  if [starts-ith ($s, "\n")] {
+  if [starts-with ($s, "\n")] {
     `substring-after ($s, "\n")`;
   } else {
     $s;