From 50144a638f7cdd09eddc9851f749c0b5fdf07e5f Mon Sep 17 00:00:00 2001
From: Daniel Lubarov <daniel@lubarov.com>
Date: Mon, 18 Jul 2022 13:48:51 -0700
Subject: [PATCH] Enable assertions, now working

---
 evm/src/cpu/kernel/aggregator.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/evm/src/cpu/kernel/aggregator.rs b/evm/src/cpu/kernel/aggregator.rs
index 501edd3e..c6c47387 100644
--- a/evm/src/cpu/kernel/aggregator.rs
+++ b/evm/src/cpu/kernel/aggregator.rs
@@ -23,7 +23,7 @@ pub fn evm_constants() -> HashMap<String, U256> {
 #[allow(dead_code)] // TODO: Should be used once witness generation is done.
 pub(crate) fn combined_kernel() -> Kernel {
     let files = vec![
-        // include_str!("asm/assertions.asm"), // TODO: Should work once PR 619 is merged.
+        include_str!("asm/assertions.asm"),
         include_str!("asm/basic_macros.asm"),
         include_str!("asm/exp.asm"),
         include_str!("asm/curve_mul.asm"),