ncannasse 1 month ago
parent
commit
84cbb014ce
1 changed files with 1 additions and 1 deletions
  1. 1 1
      src/generators/hlopt.ml

+ 1 - 1
src/generators/hlopt.ml

@@ -71,7 +71,7 @@ let control = function
 		CLabel
 	| ORet _ ->
 		CRet
-	| OThrow _ | ORethrow _ ->
+	| OThrow _ | ORethrow _ | OAssert _ ->
 		CThrow
 	| OSwitch (_,cases,_) ->
 		CSwitch cases