Skip to content

Commit

Permalink
db predicates better be in output mode
Browse files Browse the repository at this point in the history
  • Loading branch information
gares authored Mar 7, 2023
1 parent c038e88 commit f63477c
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions examples/example_data_base.v
Original file line number Diff line number Diff line change
Expand Up @@ -41,10 +41,10 @@ Elpi print_db France.

Elpi Db food.db lp:{{

pred sweet i:string.
pred sweet o:string.
sweet "apricot".

pred tasty i:string.
pred tasty o:string.
tasty "salmon".

}}.
Expand Down

0 comments on commit f63477c

Please sign in to comment.