ESCTools fail to build

[George Karabotsos-2]

FYI:

/home/karabot/dev/workspaces/JML4/ESCTools/Escjava/java/escjava/Main.java:43: cannot find symbol
symbol  : class LShiftVisitor
location: package javafe.ast
import javafe.ast.LShiftVisitor;

George


-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2005.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
JMLspecs-ESCJava mailing list
JMLspecs-ESCJava@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-escjava

[Dermot Cochran-2]

Some parts of this message have been removed. Learn more about Nabble's security policy.

Looks like my recent changes were not synchronized.  I will fix this either tonight or early tomorrow morning.

Regards,
Dermot

On 9/10/07, George Karabotsos <karabot@...> wrote:

FYI:

/home/karabot/dev/workspaces/JML4/ESCTools/Escjava/java/escjava/Main.java:43: cannot find symbol
symbol  : class LShiftVisitor
location: package javafe.ast
import javafe.ast.LShiftVisitor;

George


-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2005.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/

_______________________________________________
JMLspecs-ESCJava mailing list
JMLspecs-ESCJava@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-escjava

-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2005.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
JMLspecs-ESCJava mailing list
JMLspecs-ESCJava@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-escjava