diff options
| author |  Jason Gross <jgross@mit.edu> | 2014-08-12 08:51:56 -0400 |
|---|---|---|
| committer |  Pierre Boutillier <pierre.boutillier@pps.univ-paris-diderot.fr> | 2014-08-25 15:22:40 +0200 |
| commit | 33545ec3d624385d9e574988f53120cbd9fe5a9a (patch) | |
| tree | 3bbd4c3fa3c5fff773e2e61d0986e5c54ed0091a /plugins/micromega/mfourier.ml | |
| parent | 9bef662f678dfbeaa477b6d336a4bd141d102b91 (diff) | |
Correct a spelling mistake
Diffstat (limited to 'plugins/micromega/mfourier.ml')
| -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 050bd310d..88c1a7836 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 = |