From dd44e574d41b9dfa25295d4d408cac6050db332c Mon Sep 17 00:00:00 2001
From: Samuel Ortion <samuel+git@ortion.fr>
Date: Thu, 24 Aug 2023 20:11:37 +0200
Subject: [PATCH] docs: Add example

---
 README.org | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.org b/README.org
index 9bed03f..79f8da5 100644
--- a/README.org
+++ b/README.org
@@ -10,7 +10,7 @@ parent(vader, luke).
 #+RESULTS:
 #+begin_example
 clingo version 5.6.2
-Reading from /tmp/babel-kEapMk/clingo-lto3lx
+Reading from /tmp/babel-kEapMk/clingo-4cyjcS
 Solving...
 Answer: 1
 child(luke,vader)