diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-01-01 17:34:21 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-01-01 17:34:21 -0500 |
| commit | a87c45bea00fc792da7d7e08f54aeccbd07c6321 (patch) | |
| tree | 55cb58abf2d30ddbb04fd8da38a1d84ed5a42bd6 /src | |
| parent | fc46e60cab2a7787f740977c5d39265989596003 (diff) | |
Remove [Print]
Diffstat (limited to 'src')
| -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 |