From 92954cf87b15b1a1a6e1766810dc668fccbab847 Mon Sep 17 00:00:00 2001
From: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
Date: Mon, 5 Sep 2022 11:36:24 +0200
Subject: [PATCH] Use standard example for adfs on the frontend

---
 frontend/src/components/app.tsx | 27 ++++++++-------------------
 1 file changed, 8 insertions(+), 19 deletions(-)

diff --git a/frontend/src/components/app.tsx b/frontend/src/components/app.tsx
index 290baab..227f760 100644
--- a/frontend/src/components/app.tsx
+++ b/frontend/src/components/app.tsx
@@ -29,25 +29,14 @@ const darkTheme = createTheme({
   },
 });
 
-const placeholder = `s(7).
-s(4).
-s(8).
-s(3).
-s(5).
-s(9).
-s(10).
-s(1).
-s(6).
-s(2).
-ac(7,c(v)).
-ac(4,6).
-ac(8,or(neg(1),7)).
-ac(3,and(or(7,neg(6)),2)).
-ac(5,4).
-ac(9,neg(7)).
-ac(10,and(neg(2),6)).
-ac(1,and(neg(7),2)).
-ac(6,neg(7)).ac(2,and(neg(9),neg(6))).`;
+const placeholder = `s(a).
+s(b).
+s(c).
+s(d).
+ac(a,c(v)).
+ac(b,b).
+ac(c,and(a,b)).
+ac(d,neg(b)).`;
 
 enum Parsing {
   Naive = 'Naive',