From af657be60d3f696c4abfc55289462687fc295da0 Mon Sep 17 00:00:00 2001
From: Dwight Guth <dwight.guth@runtimeverification.com>
Date: Wed, 11 Oct 2023 12:54:38 -0500
Subject: [PATCH] add missing dependency for newer versions of k

---
 Formula/kframework.rb | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Formula/kframework.rb b/Formula/kframework.rb
index bf3ab6b..d0eb2ec 100644
--- a/Formula/kframework.rb
+++ b/Formula/kframework.rb
@@ -22,6 +22,7 @@ class Kframework < Formula
   depends_on "llvm@13"
   depends_on "mpfr"
   depends_on "openjdk"
+  depends_on "secp256k1"
   depends_on "z3"
 
   def install