diff options
| author |  qadeer <qadeer@microsoft.com> | 2012-03-11 21:51:03 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2012-03-11 21:51:03 -0700 |
| commit | 8b05d9558e661953b021f0d86e22d352b1227cc8 (patch) | |
| tree | 854d331cb1fb4c9ff08433e3d89207e2b11dec5e /Source/Core/BoogiePL.atg | |
| parent | 7949e676b1c3c8b25cc88a884dfeb25d58629227 (diff) | |
make the call to ProcessDataTypeConstructors in the right place
Diffstat (limited to 'Source/Core/BoogiePL.atg')
| -rw-r--r-- | Source/Core/BoogiePL.atg | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Core/BoogiePL.atg b/Source/Core/BoogiePL.atg index c7465d81..6f63cb64 100644 --- a/Source/Core/BoogiePL.atg +++ b/Source/Core/BoogiePL.atg @@ -70,6 +70,7 @@ public static int Parse (string s, string/*!*/ filename, out /*maybe null*/ Prog if (parser.errors.count == 0)
{
program = Pgm;
+ program.ProcessDatatypeConstructors();
return 0;
}
else
|