[MLton-commit] r6198

[Matthew Fluet]

Quell unused warning
----------------------------------------------------------------------

U   mlton/trunk/mlton/elaborate/elaborate-env.fun

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

Modified: mlton/trunk/mlton/elaborate/elaborate-env.fun
===================================================================
--- mlton/trunk/mlton/elaborate/elaborate-env.fun	2007-11-22 03:55:19 UTC (rev 6197)
+++ mlton/trunk/mlton/elaborate/elaborate-env.fun	2007-11-22 14:52:07 UTC (rev 6198)
@@ -2788,6 +2788,8 @@
                        List.layout Strid.layout,
                        Unit.layout)
          checkMatch
+      (* quell unused warning *)
+      val _ = checkMatch
       val {destroy, get: Structure.t -> (Interface.t * Structure.t) list ref,
            ...} =
          Property.destGet (Structure.plist, Property.initFun (fn _ => ref []))