Typo.

jessealama · Jul 5, 2013 · c873246 · c873246
1 parent d2b3e9e
commit c873246
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
@@ -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
@@ -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;