Replacing an incorrect reference to an injected class name when the type was meant...
authorTim King <taking@cs.nyu.edu>
Fri, 9 Feb 2018 19:23:31 +0000 (11:23 -0800)
committerGitHub <noreply@github.com>
Fri, 9 Feb 2018 19:23:31 +0000 (11:23 -0800)
commitd4b136c10ac3a226061d12cdf8e12340ad0a974d
tree24ce952bc0df8c331687b972ab0e34e4dba5214a
parent83f150c727f197c530d6f46a75b516eea52bed29
Replacing an incorrect reference to an injected class name when the type was meant. (#1585)
src/proof/sat_proof.h