Skip to content

GitLab

Commit c3dd7b26 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

Fix a bug in source/Lutin/expEval.ml (+ versus - ).

parent a23e745f
Hide whitespace changes
Inline Side-by-side
source/Lutin/expEval.ml
View file @ c3dd7b26
...@@ -24,7 +24,7 @@ let rec simp_num it = ( ...@@ -24,7 +24,7 @@ let rec simp_num it = (
| Sum (Ival i1, Ival i2) -> Ival (i1 + i2) | Sum (Ival i1, Ival i2) -> Ival (i1 + i2)
| Sum (Fval r1, Fval r2) -> Fval (r1 +. r2) | Sum (Fval r1, Fval r2) -> Fval (r1 +. r2)
| Diff ( Ival i1, Ival i2) -> Ival (i1 - i2) | Diff ( Ival i1, Ival i2) -> Ival (i1 - i2)
| Diff ( Fval r1, Fval r2) -> Fval (r1 +. r2) | Diff ( Fval r1, Fval r2) -> Fval (r1 -. r2)
| Prod ( Ival i1, Ival i2) -> Ival (i1 * i2) | Prod ( Ival i1, Ival i2) -> Ival (i1 * i2)
| Prod ( Fval r1, Fval r2) -> Fval (r1 *. r2) | Prod ( Fval r1, Fval r2) -> Fval (r1 *. r2)
| Quot ( Ival i1, Ival i2) -> Ival (i1 / i2) | Quot ( Ival i1, Ival i2) -> Ival (i1 / i2)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment