From e844ba2919fd2795d1e0082f69e018dc5ddb093d Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sun, 28 Oct 2018 14:22:35 -0400 Subject: Add CPSId tactics --- src/Util/Tactics.v | 1 + 1 file changed, 1 insertion(+) (limited to 'src/Util/Tactics.v') diff --git a/src/Util/Tactics.v b/src/Util/Tactics.v index cd045fdbb..ee27e598f 100644 --- a/src/Util/Tactics.v +++ b/src/Util/Tactics.v @@ -8,6 +8,7 @@ Require Export Crypto.Util.Tactics.ClearDuplicates. Require Export Crypto.Util.Tactics.ClearbodyAll. Require Export Crypto.Util.Tactics.Contains. Require Export Crypto.Util.Tactics.ConvoyDestruct. +Require Export Crypto.Util.Tactics.CPSId. Require Export Crypto.Util.Tactics.DebugPrint. Require Export Crypto.Util.Tactics.DestructHead. Require Export Crypto.Util.Tactics.DestructHyps. -- cgit v1.2.3