diff options
Diffstat (limited to 'backend/Lineartyping.v')
-rw-r--r-- | backend/Lineartyping.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/Lineartyping.v b/backend/Lineartyping.v index 551462c8..7dc601fb 100644 --- a/backend/Lineartyping.v +++ b/backend/Lineartyping.v @@ -35,7 +35,7 @@ Variable funct: function. Definition slot_valid (s: slot) := match s with | Local ofs ty => 0 <= ofs - | Outgoing ofs ty => 14 <= ofs + | Outgoing ofs ty => 0 <= ofs | Incoming ofs ty => In (S s) (loc_parameters funct.(fn_sig)) end. |