Skip to content

Commit

Permalink
layout
Browse files Browse the repository at this point in the history
  • Loading branch information
fvogels committed Nov 19, 2024
1 parent ec74796 commit 52eedb5
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions nanosail/SailToNanosail/Translate/ExtendedType.ml
Original file line number Diff line number Diff line change
Expand Up @@ -334,12 +334,12 @@ and bool_expression_of_sail_numeric_constraint (numeric_constraint : S.n_constra
| NC_or (left, right) -> bool_expression_of_or left right
| NC_equal (left, right) -> bool_expression_of_equal left right
| NC_not_equal (left, right) -> bool_expression_of_not_equal left right
| NC_var kid -> begin
let Kid_aux (Var unwrapped_id, _id_location) = kid
in
let+ translated_id = binding unwrapped_id
in
Monad.return @@ Ast.ExtendedType.BoolExpression.Var translated_id
| NC_var kid -> begin
let Kid_aux (Var unwrapped_id, _id_location) = kid
in
let+ translated_id = binding unwrapped_id
in
Monad.return @@ Ast.ExtendedType.BoolExpression.Var translated_id
end


Expand Down

0 comments on commit 52eedb5

Please sign in to comment.