diff --git a/examples/example_data_base.v b/examples/example_data_base.v index 1a3a26c24..dbe9a11d8 100644 --- a/examples/example_data_base.v +++ b/examples/example_data_base.v @@ -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". }}.