diff options
| author | Guy <katz911@gmail.com> | 2016-04-03 20:12:19 -0700 |
|---|---|---|
| committer | Guy <katz911@gmail.com> | 2016-04-03 20:12:19 -0700 |
| commit | 208a9989b53c61f7f1f0053e97600dd7e12f8aa5 (patch) | |
| tree | 994fe5463271eded613201c83bef204234f8fb7f /src/proof/array_proof.h | |
| parent | 29df9622b570ce843756e05a3ef248de04d2a5c3 (diff) | |
s_ prefix for static members
Diffstat (limited to 'src/proof/array_proof.h')
| -rw-r--r-- | src/proof/array_proof.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/proof/array_proof.h b/src/proof/array_proof.h index b3fe89f0b..af980bc43 100644 --- a/src/proof/array_proof.h +++ b/src/proof/array_proof.h @@ -36,11 +36,11 @@ private: const LetMap& map); /** Merge tag for ROW applications */ - static unsigned d_reasonRow; + static unsigned s_reasonRow; /** Merge tag for ROW1 applications */ - static unsigned d_reasonRow1; + static unsigned s_reasonRow1; /** Merge tag for EXT applications */ - static unsigned d_reasonExt; + static unsigned s_reasonExt; public: ProofArray(theory::eq::EqProof* pf) : d_proof(pf) {} //it is simply an equality engine proof |