From a8b88b185090896d0f56ead0b11ca74efdf787b7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 6 Jan 2025 07:30:16 -0800
Subject: [PATCH] fish for nyi

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/sls/sls_bv_lookahead.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/ast/sls/sls_bv_lookahead.cpp b/src/ast/sls/sls_bv_lookahead.cpp
index 133d2ba0e..6e104cc2d 100644
--- a/src/ast/sls/sls_bv_lookahead.cpp
+++ b/src/ast/sls/sls_bv_lookahead.cpp
@@ -446,6 +446,10 @@ namespace sls {
             }
             return nd / np;
         }
+        else {
+            verbose_stream() << "new score not implemented for " << mk_bounded_pp(a, m) << "\n";
+            NOT_IMPLEMENTED_YET();
+        }
 
         return 0;
     }