diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-04-16 16:00:37 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2018-04-26 13:06:34 -0400 |
| commit | bda7d71da147903ba28a94616f035a72f8156ce1 (patch) | |
| tree | a688af35fd30a0d37f0bba0dc5ce1bbf1845f0bf /src/Experiments/SimplyTypedArithmetic.v | |
| parent | 3f87a59b1751795f274a96f0a005fba4836da86c (diff) | |
Fix a printout
Diffstat (limited to 'src/Experiments/SimplyTypedArithmetic.v')
| -rw-r--r-- | src/Experiments/SimplyTypedArithmetic.v | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Experiments/SimplyTypedArithmetic.v b/src/Experiments/SimplyTypedArithmetic.v index 2bd202904..b9f57ce1b 100644 --- a/src/Experiments/SimplyTypedArithmetic.v +++ b/src/Experiments/SimplyTypedArithmetic.v @@ -7522,7 +7522,9 @@ fun var : type -> Type => :: ((uint64)(x4) & 2251799813685247) :: [])%expr : Expr (type.uncurry - (type.list (type.type_primitive type.Z) -> type.list (type.type_primitive type.Z) -> type.list (type.type_primitive type.Z))) + (type.list (type.type_primitive type.Z) -> + type.list (type.type_primitive type.Z) -> + type.list (type.type_primitive type.Z))) *) Print base_51_sub. (* |