1.1 --- a/src/java/isac/util/formulae/CalcHead.java Wed Jun 08 17:37:21 2005 +0200
1.2 +++ b/src/java/isac/util/formulae/CalcHead.java Tue Jun 14 17:22:50 2005 +0200
1.3 @@ -96,8 +96,7 @@
1.4
1.5 /**
1.6 * Format the object in a way that the bridge can handle it FIXME.WN041008
1.7 - * this is Formalization.toSMLString, _NOT_ CalcHead.toSMLString
1.8 - * !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
1.9 + * this is Formalization.toSMLString, _NOT_ CalcHead.toSMLString !!!
1.10 *
1.11 * @return SML representation
1.12 */