From e268a72eb9571191ddf1202d9b66cd9567d1b54d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nikolaj@cs.stanford.edu>
Date: Thu, 23 Jul 2026 14:00:09 -0700
Subject: [PATCH] Update fstar-master-build.yml

---
 .github/workflows/fstar-master-build.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/fstar-master-build.yml b/.github/workflows/fstar-master-build.yml
index fe229a153d..d635f324b6 100644
--- a/.github/workflows/fstar-master-build.yml
+++ b/.github/workflows/fstar-master-build.yml
@@ -16,11 +16,11 @@ on:
       z3_runtime_args:
         description: "Extra Z3 runtime args (example: smt.ho_matching=true)"
         required: false
-        default: "smt.ho_matching=true"
+        default: "smt.ho_matching=false"
       fstar_ref:
         description: FStar ref to checkout and build
         required: false
-        default: _nik_higher_order_smt
+        default: master
       fstar_opam_switch:
         description: OCaml switch for FStar build
         required: false