From 6f4c5a63ed0176d601b002fc263208275a72b505 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Thu, 24 Aug 2023 11:07:20 +0200
Subject: [PATCH] Disable halo2 by default.

---
 powdr_cli/Cargo.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/powdr_cli/Cargo.toml b/powdr_cli/Cargo.toml
index 6b1075f6d..0f9c1d195 100644
--- a/powdr_cli/Cargo.toml
+++ b/powdr_cli/Cargo.toml
@@ -4,7 +4,7 @@ version = "0.1.0"
 edition = "2021"
 
 [features]
-default = ["halo2"]
+default = [] # halo2 is disabled by default
 halo2 = ["dep:halo2", "backend/halo2", "compiler/halo2"]
 
 [dependencies]