Electric semicolons

1 files changed, 6 insertions, 6 deletions

diff --git a/language-web/src/main/webapp/index.html b/language-web/src/main/webapp/index.html
index 753ed63a..97c4dbab 100644
--- a/language-web/src/main/webapp/index.html
+++ b/language-web/src/main/webapp/index.html
@@ -17,22 +17,22 @@
                  data-editor-enable-formatting-action="true"
                  data-editor-send-full-text="false"
             ><pre>class Family {
-    contains Person[] members
+  contains Person[] members
 }
 
 class Person {
-    Person[] children opposite parent
-    Person parent opposite children
-    TaxStatus[1] taxStatus
+  Person[] children opposite parent
+  Person parent opposite children
+  TaxStatus[1] taxStatus
 }
 
 enum TaxStatus {
-        child, student, adult, retired
+  child, student, adult, retired
 }
 
 % A child cannot have any dependents.
 error invalidTaxStatus(Person p) :-
-        taxStatus(p, child), children(p, _q).
+  taxStatus(p, child), children(p, _q).
 
 Family('family').
 members('family', anne).