From cb83224c606737cb3ec3fdb190cc97bbb30e5286 Mon Sep 17 00:00:00 2001
From: Thomas Arts <thomas.arts@quviq.com>
Date: Tue, 18 Jun 2019 14:29:01 +0200
Subject: [PATCH] Add query to generate QuickCheck data

---
 quickcheck/aefate_eqc.erl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/quickcheck/aefate_eqc.erl b/quickcheck/aefate_eqc.erl
index 49df042..3cf183d 100644
--- a/quickcheck/aefate_eqc.erl
+++ b/quickcheck/aefate_eqc.erl
@@ -112,6 +112,7 @@ fate_data(0, _Options) ->
               fate_signature(),
               fate_contract(),
               fate_oracle(),
+              fate_oracle_q(),
               fate_name(),
               fate_bits(),
               fate_channel()]));
@@ -142,6 +143,7 @@ fate_hash()       -> {call, aeb_fate_data, make_hash, [non_zero_binary(32)]}.
 fate_signature()  -> {call, aeb_fate_data, make_signature, [non_zero_binary(64)]}.
 fate_contract()   -> {call, aeb_fate_data, make_contract, [non_zero_binary(256 div 8)]}.
 fate_oracle()     -> {call, aeb_fate_data, make_oracle, [non_zero_binary(256 div 8)]}.
+fate_oracle_q()   -> {call, aeb_fate_data, make_oracle_query, [non_zero_binary(256 div 8)]}.
 fate_name()       -> {call, aeb_fate_data, make_name, [non_zero_binary(256 div 8)]}.
 fate_channel()    -> {call, aeb_fate_data, make_channel, [non_zero_binary(256 div 8)]}.