From f63477cfc43fceb405cfc7210c60e710bce65ba4 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Tue, 7 Mar 2023 10:06:14 +0100
Subject: [PATCH] db predicates better be in output mode

---
 examples/example_data_base.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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".
 
 }}.