Merge pull request hwayne#4 from pmonson711/Abstract-example

Add abstract to the example
zsfre · Apr 13, 2020 · e25f38f · e25f38f
2 parents 16f43ba + 9c01272
commit e25f38f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/language/signatures.rst b/language/signatures.rst
@@ -475,7 +475,7 @@ still the base.
 
 .. code:: alloy
 
-   sig Machine {}
+   abstract sig Machine {}
    sig Broken in Machine {}
 
    sig Server extends Machine {}