diff --git a/pancake/panScopeScript.sml b/pancake/panScopeScript.sml
index a84c25611b..1d43827fc6 100644
--- a/pancake/panScopeScript.sml
+++ b/pancake/panScopeScript.sml
@@ -95,8 +95,8 @@ End
 
 Definition scope_check_funs_def:
   scope_check_funs fnames [] = NONE ∧
-  scope_check_funs fnames ((fname, _, body)::funs) =
-    let ctxt = <| vars := [] ; funcs := fnames ; fname := fname |> in
+  scope_check_funs fnames ((fname, vshapes, body)::funs) =
+    let ctxt = <| vars := MAP FST vshapes ; funcs := fnames ; fname := fname |> in
       OPTION_CHOICE (scope_check_prog ctxt body)
                     (scope_check_funs fnames funs)
 End