From f86714cbb14ef177f274db88fdc878728a763734 Mon Sep 17 00:00:00 2001 From: Snaipe Date: Sun, 24 Jul 2016 13:55:36 +0200 Subject: [PATCH] protocol: Added missing criterion.options --- src/protocol/criterion.options | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 src/protocol/criterion.options diff --git a/src/protocol/criterion.options b/src/protocol/criterion.options new file mode 100644 index 0000000..179612a --- /dev/null +++ b/src/protocol/criterion.options @@ -0,0 +1,8 @@ +criterion.protocol.assert.message type : FT_POINTER +criterion.protocol.assert.file type : FT_POINTER +criterion.protocol.log.message type : FT_POINTER +criterion.protocol.birth.name type : FT_POINTER +criterion.protocol.phase.name type : FT_POINTER +criterion.protocol.phase.message type : FT_POINTER +criterion.protocol.ack.message type : FT_POINTER +criterion.protocol.msg.uid type : FT_POINTER