X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2FtextLexer.mll;fp=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2FtextLexer.mll;h=4b06e4c402f61044f1f17a99c2713e41fa1e45c2;hb=2aa295aa37f8fb274f7b640f7627078d9435cefa;hp=aa8f42fe4f14ef757fb3603caa425209e30afa6e;hpb=e586251363da945585f3a39bdffee9a759f36f22;p=helm.git

diff --git a/helm/www/lambdadelta/bin/xhtbl/textLexer.mll b/helm/www/lambdadelta/bin/xhtbl/textLexer.mll
index aa8f42fe4..4b06e4c40 100644
--- a/helm/www/lambdadelta/bin/xhtbl/textLexer.mll
+++ b/helm/www/lambdadelta/bin/xhtbl/textLexer.mll
@@ -22,6 +22,7 @@ rule token = parse
    | "["      { out "["; TP.OB                  }
    | "]"      { out "]"; TP.CB                  }   
    | "*"      { out "*"; TP.SR                  }
+   | "^"      { out "^"; TP.CF                  }
    | "+"      { out "+"; TP.PS                  }
    | "("      { out "("; TP.OP                  }
    | ")"      { out ")"; TP.CP                  }