From bda7d71da147903ba28a94616f035a72f8156ce1 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 16 Apr 2018 16:00:37 -0400 Subject: Fix a printout --- src/Experiments/SimplyTypedArithmetic.v | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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. (* -- cgit v1.2.3