From f7a04f1f933b1aafa162fea2c4af3d7a5180e4eb Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Thu, 19 Mar 2026 03:35:26 +0000
Subject: [PATCH] fix compilation error

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

diff --git a/src/smtlib/Typecheck.ml b/src/smtlib/Typecheck.ml
index 85b22398..9d4108db 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 bitvector types"
 
 let is_num s =
   let is_digit_or_dot = function