Mercurial > urweb

diff src/main.mlton.sml @ 1923:afdc823563de

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Small reformatting and documentation for '-print-cinclude'
author Adam Chlipala <adam@chlipala.net>
date Fri, 06 Dec 2013 08:54:03 -0500
parents 5890ba37827c
children 0652f295e0fa
line wrap: on
line diff
--- a/src/main.mlton.sml	Wed Nov 06 13:54:07 2013 +0400
+++ b/src/main.mlton.sml	Fri Dec 06 08:54:03 2013 -0500
@@ -56,10 +56,10 @@
 		               raise Code OS.Process.success)
         fun printNumericVersion () = (print (Config.versionNumber ^ "\n");
 			              raise Code OS.Process.success)
-        fun printCCompiler () = (print ((Settings.getCCompiler ()) ^ "\n");
-			              raise Code OS.Process.success)
-        fun printCInclude () = (print ((Config.includ) ^ "\n");
-			              raise Code OS.Process.success)
+        fun printCCompiler () = (print (Settings.getCCompiler () ^ "\n");
+			         raise Code OS.Process.success)
+        fun printCInclude () = (print (Config.includ ^ "\n");
+			        raise Code OS.Process.success)
 
         fun doArgs args =
             case args of