package jazz.circuit.esterel;

//////////////////////////////////////////////////////////////////////////////
//
//                           Halt statement (halt)
//
//////////////////////////////////////////////////////////////////////////////

public class HaltStmt extends Stmt {
}