diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-02-13 19:00:08 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-02-13 19:00:08 -0500 |
| commit | 8bf0d791975392a6150b9e4d4661e06914e61647 (patch) | |
| tree | 08d98a7b403e4a50f2c9a337a0ab9182edb9e70b /src/Reflection/BoundByCast.v | |
| parent | b6801b082d079521e75b9eafe19a61b7c488c1d0 (diff) | |
More uniform naming
Diffstat (limited to 'src/Reflection/BoundByCast.v')
| -rw-r--r-- | src/Reflection/BoundByCast.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Reflection/BoundByCast.v b/src/Reflection/BoundByCast.v index 09bdc207e..89170ec2f 100644 --- a/src/Reflection/BoundByCast.v +++ b/src/Reflection/BoundByCast.v @@ -30,8 +30,8 @@ Section language. Definition Boundify {t1} (e1 : Expr t1) args2 : Expr _ := ExprEta - (InlineConstGen - (@push_cast _ _ _ base_type_bl_transparent base_type_leb Cast is_cast is_const) + (InlineCast + _ base_type_bl_transparent base_type_leb Cast is_cast is_const (Linearize (SmartBound _ |