diff --git a/H/Yatom.h b/H/Yatom.h index 1399c0e62..a9e5d5fd5 100644 --- a/H/Yatom.h +++ b/H/Yatom.h @@ -514,6 +514,7 @@ typedef enum TabledPredFlag = 0x00000040L, /* is tabled */ SequentialPredFlag = 0x00000020L, /* may not create parallel choice points! */ ProfiledPredFlag = 0x00000010L, /* pred is being profiled */ + MyddasPredFlag = 0x00000008L, /* Myddas Imported pred */ } pred_flag; /* profile data */