diff options
Diffstat (limited to 'Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest')
-rw-r--r-- | Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest b/Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest index 35e8f1f9..d822fbfc 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest +++ b/Util/VS2010/DafnyExtension/DafnyExtension/source.extension.vsixmanifest @@ -16,5 +16,7 @@ <References />
<Content>
<MefComponent>|%CurrentProject%|</MefComponent>
+ <CustomExtension Type="Boogie">DafnyPrelude.bpl</CustomExtension>
+ <CustomExtension Type="SMTLib 2">UnivBackPred2.smt2</CustomExtension>
</Content>
</Vsix>
|