--- a/bisect_ppx.opam	2022-03-14 01:39:55.000000000 -0600
+++ b/bisect_ppx.opam	2022-10-31 16:00:04.872636083 -0600
@@ -22,7 +22,7 @@ depends: [
   "cmdliner" {>= "1.0.0"}
   "dune" {>= "2.7.0"}
   "ocaml" {>= "4.03.0"}
-  "ppxlib" {>= "0.21.0"}
+  "ppxlib" {>= "0.26.0"}
 
   "ocamlformat" {with-test & = "0.16.0"}
 ]
--- a/src/ppx/instrument.ml	2022-03-14 01:39:55.000000000 -0600
+++ b/src/ppx/instrument.ml	2022-10-31 16:01:28.486756629 -0600
@@ -490,10 +490,10 @@ struct
         |> List.map (fun (location_trace, p'') ->
           (location_trace, Pat.alias ~loc ~attrs p'' x))
 
-      | Ppat_construct (c, Some p') ->
+      | Ppat_construct (c, Some (exnames, p')) ->
         recur ~enclosing_loc p'
         |> List.map (fun (location_trace, p'') ->
-          (location_trace, Pat.construct ~loc ~attrs c (Some p'')))
+          (location_trace, Pat.mk  ~loc ~attrs Pat.(Ppat_construct (c, Some(exnames, p'')))))
 
       | Ppat_variant (c, Some p') ->
         recur ~enclosing_loc p'
@@ -708,7 +708,7 @@ struct
       List.map (fun (_, p') -> bound_variables p') fields
       |> List.flatten
 
-    | Ppat_construct (_, Some p') | Ppat_variant (_, Some p')
+    | Ppat_construct (_, Some (_, p')) | Ppat_variant (_, Some p')
     | Ppat_constraint (p', _) | Ppat_lazy p' | Ppat_exception p'
     | Ppat_open (_, p') ->
       bound_variables p'
@@ -725,7 +725,7 @@ struct
     | Ppat_type _ | Ppat_variant _ ->
       true
 
-    | Ppat_alias (p', _) | Ppat_construct (_, Some p')
+    | Ppat_alias (p', _) | Ppat_construct (_, Some (_, p'))
     | Ppat_constraint (p', _) | Ppat_lazy p' | Ppat_exception p'
     | Ppat_open (_, p') ->
       has_polymorphic_variant p'