Merge pull request #145 from cyk2018/fix-output-flag

fix output flag in examples.md
souffle-lang · Mar 3, 2024 · 1355ba8 · 1355ba8
2 parents f2ba3d0 + 2ae65e4
commit 1355ba8
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/pages/docs/examples.md b/pages/docs/examples.md
@@ -43,7 +43,8 @@ ld("v4","v1","f").
 
 // -- analysis --
 
-.decl alias( a:var, b:var ) output
+.decl alias( a:var, b:var )
+.output alias
 alias(X,X) :- assign(X,_).
 alias(X,X) :- assign(_,X).
 alias(X,Y) :- assign(X,Y).
@@ -273,7 +274,8 @@ Frequently, components can be described in an abstract, generic way such that it
 NetA.edge("A","B").
 NetA.edge("B","C").
 
-.decl resA(a:symbol, b:symbol) output
+.decl resA(a:symbol, b:symbol)
+.output resA
 resA(X,Y) :- NetA.reach(X,Y).