Changeset 12739

Timestamp:

27.10.2009 14:18:20 (4 weeks ago)

Author:

maeder

Message:

use ASCII char * for inconsistent

Files:

• trunk/GUI/HTkUtils.hs (modified) (1 diff)

trunk/GUI/HTkUtils.hs

@@ -186 +186 @@
 indicatorString i = case i of
   LBIndicatorProved      -> "[+]"
-  LBIndicatorProvedInconsistent -> "[\215]" -- maybe \177 (±) is nicer
+  LBIndicatorProvedInconsistent -> "[*]"
   LBIndicatorDisproved   -> "[-]"
   LBIndicatorOpen        -> "[ ]"