From 68b55392cd0e284f6e1f419f13906fca3401acdb Mon Sep 17 00:00:00 2001
From: Mohamed Gad-Elrab <gadelrab@mpi-inf.mpg.de>
Date: Wed, 1 May 2019 23:15:10 +0200
Subject: [PATCH] Capture options in the demo

---
 Api/src/main/java/web/data/Query.java | 2 ++
 Demo                                  | 2 +-
 src/main/java/Main.java               | 1 -
 3 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/Api/src/main/java/web/data/Query.java b/Api/src/main/java/web/data/Query.java
index f1479d3..22b9856 100644
--- a/Api/src/main/java/web/data/Query.java
+++ b/Api/src/main/java/web/data/Query.java
@@ -17,6 +17,8 @@ public class Query /*extends QueryExplanations*/{
     String object;
     String rules;
 
+    
+
 
 
 
diff --git a/Demo b/Demo
index 702c767..3ceb886 160000
--- a/Demo
+++ b/Demo
@@ -1 +1 @@
-Subproject commit 702c767d9131671e769174d0b711131f3099af81
+Subproject commit 3ceb8863004683926a4437fc554a7d5033643a73
diff --git a/src/main/java/Main.java b/src/main/java/Main.java
index be9572e..32d99d0 100644
--- a/src/main/java/Main.java
+++ b/src/main/java/Main.java
@@ -5,7 +5,6 @@
 
 public class Main {
 
-
     public static void main(String[] args) {