From a4c43503cf223f0ec67f98c5e5cb70542b3cd5b5 Mon Sep 17 00:00:00 2001 From: luisacicolini Date: Thu, 14 Nov 2024 19:43:25 +0000 Subject: [PATCH] drop ch2_3 from build --- SSA/Projects/InstCombine/Alive.lean | 1 - 1 file changed, 1 deletion(-) diff --git a/SSA/Projects/InstCombine/Alive.lean b/SSA/Projects/InstCombine/Alive.lean index de4fd0684..67c7605f5 100644 --- a/SSA/Projects/InstCombine/Alive.lean +++ b/SSA/Projects/InstCombine/Alive.lean @@ -33,4 +33,3 @@ import SSA.Projects.InstCombine.PaperExamples -- Proofs from Hackers Delight Book import SSA.Projects.InstCombine.HackersDelight.ch2_1DeMorgan import SSA.Projects.InstCombine.HackersDelight.ch2_2AdditionAndLogicalOps -import SSA.Projects.InstCombine.HackersDelight.ch2_3LogicalArithmeticIneq