This commit is contained in:
Robert Hensing 2020-10-18 14:26:23 +02:00
parent 05e6fe69f9
commit 94f1e4a441

View file

@ -46,7 +46,7 @@ struct Goal : public std::enable_shared_from_this<Goal>
unsigned int nrNoSubstituters; unsigned int nrNoSubstituters;
/* Number of substitution goals we are/were waiting for that /* Number of substitution goals we are/were waiting for that
failed because othey had unsubstitutable references. */ failed because they had unsubstitutable references. */
unsigned int nrIncompleteClosure; unsigned int nrIncompleteClosure;
/* Name of this goal for debugging purposes. */ /* Name of this goal for debugging purposes. */