From 53326fec2e77d3f182eaf7ecce9ab457d6a277bd Mon Sep 17 00:00:00 2001
From: Laurent Orseau <lorseau@google.com>
Date: Fri, 19 Mar 2021 17:53:27 +0000
Subject: [PATCH] Update Satore scribblings

PiperOrigin-RevId: 363925586
---
 satore/scribblings/satore.scrbl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/satore/scribblings/satore.scrbl b/satore/scribblings/satore.scrbl
index 7e26fcc..98f8993 100644
--- a/satore/scribblings/satore.scrbl
+++ b/satore/scribblings/satore.scrbl
@@ -1,5 +1,5 @@
 #lang scribble/manual
 
-@title{First-order logic saturation with atomic rewriting}
+@title{First-order logic saturation with atom rewriting}
 
-See the @hyperlink["https://link-to-readme"]{readme}.
+See the @hyperlink["https://github.com/deepmind/deepmind-research/tree/master/satore"]{readme}.