From 1e924e6005392093075ff451f1040c2c87491c99 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Fri, 3 Feb 2017 18:50:50 -0500
Subject: Don't autounfold wordToZ nor ZToWord

The tactic fixed_size_op_to_word relies on them being folded.
---
 src/Util/FixedWordSizes.v | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/Util/FixedWordSizes.v')

diff --git a/src/Util/FixedWordSizes.v b/src/Util/FixedWordSizes.v
index 2e0d6271b..01eba6bba 100644
--- a/src/Util/FixedWordSizes.v
+++ b/src/Util/FixedWordSizes.v
@@ -99,8 +99,6 @@ Definition wlor {logsz}
 
 Create HintDb fixed_size_constants discriminated.
 Hint Unfold word32 word64 word128
-     ZToWord ZToWord32 ZToWord64 ZToWord128
-     wordToZ word32ToZ word64ToZ word128ToZ
      wadd wadd32 wadd64 wadd128
      wsub wsub32 wsub64 wsub128
      wmul wmul32 wmul64 wmul128
-- 
cgit v1.2.3