Skip to content

Commit

Permalink
Merge pull request #442 from LPCIC/fix-poc-db
Browse files Browse the repository at this point in the history
db predicates better be in output mode
  • Loading branch information
gares authored Mar 7, 2023
2 parents c038e88 + f63477c commit 9f4baa2
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 9f4baa2

Please sign in to comment.