Skip to content

Commit 3182503

Browse files
committed
dune fmt
1 parent dcf67df commit 3182503

1 file changed

Lines changed: 1 addition & 2 deletions

File tree

src/analysis_and_optimization/Partial_evaluator.ml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -705,8 +705,7 @@ let rec eval_expr ?(preserve_stability = false) (e : Expr.Typed.t) =
705705
FunApp (StanLib ("Divide__", FnPlain, mem), [y; z])
706706
; _ } ] )
707707
when is_int 1 y && is_int 2 z
708-
&& not
709-
(y.meta.type_ = UInt && z.meta.type_ = UInt) ->
708+
&& not (y.meta.type_ = UInt && z.meta.type_ = UInt) ->
710709
let lub_mem = lub_mem_pat [mem] in
711710
FunApp (StanLib ("sqrt", suffix, lub_mem), [x])
712711
| ( "square"

0 commit comments

Comments
 (0)