diff options
| -rw-r--r-- | src/Reflection/MultiSizeTest2.v | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/Reflection/MultiSizeTest2.v b/src/Reflection/MultiSizeTest2.v index c0acb1c48..fea48ce8e 100644 --- a/src/Reflection/MultiSizeTest2.v +++ b/src/Reflection/MultiSizeTest2.v @@ -195,8 +195,6 @@ Definition MapToBoundsInterp {t1} (e1 : @Expr base_type interp_base_type op t1) : @Expr base_type interp_base_type_bounds op t1 := fun var => map_to_bounds_interp (e1 _). -Print map_interp_cast. - Definition Boundify {t1} (e1 : Expr base_type interp_base_type op t1) args2 : Expr _ _ _ _ := fun ovar |