diff options
| author | Jason Gross | 2014-08-12 08:51:56 -0400 |
|---|---|---|
| committer | Pierre Boutillier | 2014-08-25 15:22:40 +0200 |
| commit | 33545ec3d624385d9e574988f53120cbd9fe5a9a (patch) | |
| tree | 3bbd4c3fa3c5fff773e2e61d0986e5c54ed0091a | |
| parent | 9bef662f678dfbeaa477b6d336a4bd141d102b91 (diff) | |
Correct a spelling mistake
| -rw-r--r-- | plugins/micromega/mfourier.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/micromega/mfourier.ml b/plugins/micromega/mfourier.ml index 050bd310df..88c1a78366 100644 --- a/plugins/micromega/mfourier.ml +++ b/plugins/micromega/mfourier.ml @@ -633,7 +633,7 @@ struct let choose_primal_equation eqs sys_l = - (* Counts the number of equations refering to variable [v] -- + (* Counts the number of equations referring to variable [v] -- It looks like nb_cst is dead... *) let is_primal_equation_var v = |