From 5e38184af1b99a307271f738329cd96cb364fc1d Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 4 Aug 2023 22:31:48 +0200
Subject: Update the Makefile and regenerate the test files

---
 backends/coq/Primitives.v | 1 -
 1 file changed, 1 deletion(-)

(limited to 'backends/coq')

diff --git a/backends/coq/Primitives.v b/backends/coq/Primitives.v
index d462715f..71a2d9c3 100644
--- a/backends/coq/Primitives.v
+++ b/backends/coq/Primitives.v
@@ -213,7 +213,6 @@ Proof.
   pose (scalar_max_cons_valid ty).
   lia.
 Qed.
-Print scalar_le_max_valid.
 
 Definition scalar_in_bounds (ty: scalar_ty) (x: Z) : bool :=
   scalar_ge_min ty x && scalar_le_max ty x .
-- 
cgit v1.2.3