Update interpreter/valid/valid.ml

Co-authored-by: Andreas Rossberg <rossberg@mpi-sws.org>

Author: dhil

interpreter/valid/valid.ml

@@ -449,7 +449,7 @@ let check_resume_table (c : context) ts2 (xys : (idx * hdl) list) at =
           match_stack c (ts3 @ [RefT (nul', ht)]) ts' x2.at
         | _ ->
            error at
-             ("type mismatch: instruction requires continuation reference type" ^
+             ("type mismatch: instruction requires concrete continuation reference type" ^
                 " but label has " ^ string_of_result_type ts'))
       | OnSwitch ->
         let FuncT (ts3, ts4) = func_type_of_tag_type c (tag c x1) x1.at in