[MLton-commit] r5007

[Vesa K. <ve...@ml...>]

Use the new option -show anns to get annotations.

----------------------------------------------------------------------

U   mlton/trunk/ide/emacs/esml-mlb-mode.el

----------------------------------------------------------------------

Modified: mlton/trunk/ide/emacs/esml-mlb-mode.el
===================================================================
--- mlton/trunk/ide/emacs/esml-mlb-mode.el	2006-12-29 11:14:05 UTC (rev 5006)
+++ mlton/trunk/ide/emacs/esml-mlb-mode.el	2006-12-29 17:52:05 UTC (rev 5007)
@@ -135,7 +135,7 @@
   :group 'esml-mlb)
 
 (defcustom esml-mlb-show-annotations-command
-  "mlton -expert true -show-anns true"
+  "mlton -expert true -show anns"
   "Shell command used to determine the annotations accepted by a compiler."
   :type 'string
   :set 'esml-mlb-set-custom-and-update