diff options
Diffstat (limited to 'backend/LTLtyping.v')
-rw-r--r-- | backend/LTLtyping.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/LTLtyping.v b/backend/LTLtyping.v index 40a584f1..2e627e90 100644 --- a/backend/LTLtyping.v +++ b/backend/LTLtyping.v @@ -142,4 +142,4 @@ Inductive wt_fundef: fundef -> Prop := wt_fundef (Internal f). Definition wt_program (p: program): Prop := - forall i f, In (i, f) (prog_funct p) -> wt_fundef f. + forall i f, In (i, Gfun f) (prog_defs p) -> wt_fundef f. |