From 4363fc47b67df686517b77823cbed99f9adab3a2 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 27 Jan 2025 21:51:51 -0500
Subject: [PATCH] update smtlib

---
 src/smtlib/Typecheck.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smtlib/Typecheck.ml b/src/smtlib/Typecheck.ml
index 85b22398..b1df5e09 100644
--- a/src/smtlib/Typecheck.ml
+++ b/src/smtlib/Typecheck.ml
@@ -84,6 +84,7 @@ let rec conv_ty (ctx : Ctx.t) (t : PA.ty) : Ty.t =
     let l = List.map (conv_ty ctx) l in
     Ty.app_l ctx.tst ty_f l
   | PA.Ty_arrow _ -> ill_typed ctx "cannot handle arrow types"
+  | PA.Ty_bv _ -> ill_typed ctx "cannot handle bitvectors"
 
 let is_num s =
   let is_digit_or_dot = function