From 377d1b9ccdf923b6803dc63a66babd90f08ba3f7 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 6 Dec 2013 08:54:03 -0500 Subject: Small reformatting and documentation for '-print-cinclude' --- src/main.mlton.sml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/main.mlton.sml') diff --git a/src/main.mlton.sml b/src/main.mlton.sml index e68ecdd8..b0c4e03f 100644 --- a/src/main.mlton.sml +++ b/src/main.mlton.sml @@ -56,10 +56,10 @@ fun oneRun args = 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 -- cgit v1.2.3