diff options
author | wuestholz <unknown> | 2013-06-12 08:34:58 -0700 |
---|---|---|
committer | wuestholz <unknown> | 2013-06-12 08:34:58 -0700 |
commit | d6a7fa533bc0587ae87aedee3ef636e163938480 (patch) | |
tree | 4ae15076d2d3745db044d59cc066cc2285cfb899 /Source/DafnyExtension/DafnyDriver.cs | |
parent | b6f1d7396027d09d5d2dd86ec678307b956b0963 (diff) |
DafnyExtension: Added a todo.
Diffstat (limited to 'Source/DafnyExtension/DafnyDriver.cs')
-rw-r--r-- | Source/DafnyExtension/DafnyDriver.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs index 9314b294..ad5986a8 100644 --- a/Source/DafnyExtension/DafnyDriver.cs +++ b/Source/DafnyExtension/DafnyDriver.cs @@ -25,6 +25,7 @@ namespace DafnyLanguage }
static DafnyDriver() {
+ // TODO(wuestholz): Do we really need to initialze this here?
Initialize();
}
|