summaryrefslogtreecommitdiff
path: root/Source/Provers/Z3/Prover.cs
diff options
context:
space:
mode:
authorGravatar tabarbe <unknown>2010-07-22 15:25:28 +0000
committerGravatar tabarbe <unknown>2010-07-22 15:25:28 +0000
commita951ef660d99eea65d2584f95b096442ea9c1822 (patch)
treeb1d8196ebdec4801fd0cc847d4d4a02703ec68a4 /Source/Provers/Z3/Prover.cs
parent4091e5d2e62ce8d048c21598fc36542820d282eb (diff)
Boogie: Changed the assembly name for the Z3 project to Provers.Z3.dll, so that it matches the namespace.
Diffstat (limited to 'Source/Provers/Z3/Prover.cs')
0 files changed, 0 insertions, 0 deletions