TFL/tfl.sml
changeset 4149 a6ccec4fd0c3
parent 4062 fa2eb95b1b2d
child 4221 ed0f67fb458b
--- a/TFL/tfl.sml	Wed Nov 05 11:43:37 1997 +0100
+++ b/TFL/tfl.sml	Wed Nov 05 11:45:51 1997 +0100
@@ -512,7 +512,7 @@
       val vlist = #2(S.strip_comb (S.rhs body))
       val plist = ListPair.zip (vlist, xlist)
       val args = map (fn qv => the (gen_assoc (op aconv) (plist, qv))) qvars
-                   handle OPTION _ => error 
+                   handle OPTION => error 
                        "TFL fault [alpha_ex_unroll]: no correspondence"
       fun build ex      []   = []
         | build (_$rex) (v::rst) =