diff options
| author |  tabarbe <unknown> | 2010-07-22 15:25:28 +0000 |
|---|---|---|
| committer | tabarbe <unknown> | 2010-07-22 15:25:28 +0000 |
| commit | a951ef660d99eea65d2584f95b096442ea9c1822 (patch) | |
| tree | b1d8196ebdec4801fd0cc847d4d4a02703ec68a4 /Source/BoogieDriver/BoogieDriver.cs | |
| parent | 4091e5d2e62ce8d048c21598fc36542820d282eb (diff) | |
Boogie: Changed the assembly name for the Z3 project to Provers.Z3.dll, so that it matches the namespace.
Diffstat (limited to 'Source/BoogieDriver/BoogieDriver.cs')
0 files changed, 0 insertions, 0 deletions