[MLton-commit] r4157

[Stephen Weeks]

Removed unused.

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

U   mlton/trunk/mlton/main/main.fun

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

Modified: mlton/trunk/mlton/main/main.fun
===================================================================
--- mlton/trunk/mlton/main/main.fun	2005-11-04 22:03:15 UTC (rev 4156)
+++ mlton/trunk/mlton/main/main.fun	2005-11-04 22:08:41 UTC (rev 4157)
@@ -106,11 +106,6 @@
                 | _ => codegen := CCodegen)
          end
 
-fun warnDeprecated (flag, use) =
-   Out.output (Out.error,
-               concat ["Warning: -", flag, " is deprecated.  ",
-                       "Use ", use, ".\n"])
-
 fun hasNative () =
    let
       datatype z = datatype Control.arch