diff options
| author |  Shaz Qadeer <qadeer@microsoft.com> | 2015-09-28 09:47:27 -0700 |
|---|---|---|
| committer | Shaz Qadeer <qadeer@microsoft.com> | 2015-09-28 09:47:27 -0700 |
| commit | 7a2aec84f1d924086b6f8e0f3dcbde036e12345c (patch) | |
| tree | 71bab46500300b795a85659d9aa2299728f106d1 /Source/VCGeneration/VC.cs | |
| parent | 80e6c54ccfeac0a2ae07c18f3c8f21970e483185 (diff) | |
update
Diffstat (limited to 'Source/VCGeneration/VC.cs')
| -rw-r--r-- | Source/VCGeneration/VC.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs index b457b383..94584027 100644 --- a/Source/VCGeneration/VC.cs +++ b/Source/VCGeneration/VC.cs @@ -1632,7 +1632,7 @@ namespace VC { //use Duplicator and Substituter rather than new //nested IToken? //document expand attribute (search for {:ignore}, for example) - //fix up new CallCmd, new Requires, new Ensures in OwickiGries.cs + //fix up new CallCmd, new Requires, new Ensures in CivlRefinement.cs Func<Expr,Expr,Expr> withType = (Expr from, Expr to) => { NAryExpr nFrom = from as NAryExpr; |