From bad0d9cdb620ef8ecb0adf07f161e215a7bf4210 Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Tue, 4 Mar 2025 14:04:27 +0000
Subject: [PATCH] Default to 128-bit caps

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index ac2af28..c97c368 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-CAP ?= 64
+CAP ?= 128
 ifeq ($(CAP), 128)
 BSCFLAGS = -D CAP128
 else