#include "TSO.h"
#include "Schedule.h"
#include "RtsFlags.h"
-#include "Storage.h"
#include "LdvProfile.h"
#include "Updates.h"
#include "Sanity.h"
// Errors
default:
- barf("interpretBCO: unknown or unimplemented opcode");
+ barf("interpretBCO: unknown or unimplemented opcode %d",
+ (int)BCO_NEXT);
} /* switch on opcode */
}