diff --git a/haz3l-case-exhaustiveness/hazel.js b/haz3l-case-exhaustiveness/hazel.js
index 0a292ff8..493f40d4 100644
--- a/haz3l-case-exhaustiveness/hazel.js
+++ b/haz3l-case-exhaustiveness/hazel.js
@@ -38760,7 +38760,7 @@ b!=="number"&&10===b[0])return b[1];return aL(gCB)},gCC=function(b){if(typeof
 b!=="number"&&11===b[0])return b[1];return aL(gCD)},bwB=function(b){if(b){var
 c=b[1];return b[2]?[9,c,bwB(b[2])]:c}return 1},bwC=function(d,b){return 1===d?function(b){return b}:0===b?function(b){return[10,b]}:function(e){return[11,c(bwC(d-1|0,b-1|0),e)]}},bwD=function(g,b,a){if(b){var
 e=d(aG5,g,b[1]);if(e){var
-f=e[1];return c(bwC(f[5],f[4]),a)}return 2}return 2},ahJ=mB([0,cf]),ahK=mB([0,cf]),ahL=mB([0,cf]),ahM=mB([0,cf]),aHk=function(W,V){var
+f=e[1];return c(bwC(f[5],f[4]),a)}return 1}return 1},ahJ=mB([0,cf]),ahK=mB([0,cf]),ahL=mB([0,cf]),ahM=mB([0,cf]),aHk=function(W,V){var
 f=W,b=V;for(;;){var
 e=f?f[1]:0;if(b){var
 g=b[2],a=b[1];if(typeof