[MLton-commit] r5318

[Matthew Fluet]

Eliminate unused variable
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/mlton/backend/rssa.fun

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

Modified: mlton/branches/on-20050822-x86_64-branch/mlton/backend/rssa.fun
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/backend/rssa.fun	2007-02-25 20:28:53 UTC (rev 5317)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/backend/rssa.fun	2007-02-25 20:32:55 UTC (rev 5318)
@@ -80,7 +80,7 @@
           | GCState => Type.gcState ()
           | Line => Type.cint ()
           | Offset {ty, ...} => ty
-          | ObjptrTycon opt => Type.objptrHeader ()
+          | ObjptrTycon _ => Type.objptrHeader ()
           | Runtime z => Type.ofGCField z
           | Var {ty, ...} => ty