diff options
| author |  Jason Gross <jagro@google.com> | 2016-09-05 15:47:24 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-09-05 15:47:24 -0700 |
| commit | 103d89e8a06753668fa44c298c6693ff1a1fc6e1 (patch) | |
| tree | 3d1cc38e505e3e04a82a0ba3aadb49deee8ee9aa /src | |
| parent | 3beb3fc256e9e34c46275cd005ff0b560e917c9b (diff) | |
Better implicit arguments for under_letsf
Diffstat (limited to 'src')
| -rw-r--r-- | src/Reflection/Linearize.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Reflection/Linearize.v b/src/Reflection/Linearize.v index d7d1fc2b6..77b927b56 100644 --- a/src/Reflection/Linearize.v +++ b/src/Reflection/Linearize.v @@ -97,6 +97,7 @@ Section language. := fun var => inline_const (e _). End language. +Global Arguments under_letsf {_ _ _ _ _} _ {tC} _. Global Arguments linearizef {_ _ _ _ _} _. Global Arguments linearize {_ _ _ _ _} _. Global Arguments Linearize {_ _ _ _} _ var. |