From 5cf55efe1f1748ebdd33cb69223b0df6bcc88e6a Mon Sep 17 00:00:00 2001
From: Laurent Orseau <lorseau@google.com>
Date: Fri, 12 Mar 2021 09:43:39 +0000
Subject: [PATCH] Fix installation instructions

PiperOrigin-RevId: 362474081
---
 satore/README.md      | 3 +--
 satore/saturation.rkt | 2 +-
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/satore/README.md b/satore/README.md
index bf32cbb..341d58d 100644
--- a/satore/README.md
+++ b/satore/README.md
@@ -22,8 +22,7 @@ To install **satore** and its dependencies (all are Apache2/MIT licensed),
 in a directory of your choice, type:
 
 ```shell
-git clone https://github.com/deepmind/deepmind-research/tree/master/satore
-raco pkg install --auto --update-deps --link satore
+raco pkg install --auto --update-deps satore
 ```
 <!--
 We use git clone instead of the git facility of `raco` so that
diff --git a/satore/saturation.rkt b/satore/saturation.rkt
index 5491ea4..f344645 100644
--- a/satore/saturation.rkt
+++ b/satore/saturation.rkt
@@ -723,7 +723,7 @@
       (pretty-print (make-return-dict 'running))]
      [(list 'save-rules)
       "Save the binary rules from the default rules-file"
-      (save-rules! rwtree)])))
+      (save-rules! rwtree #:rules-file (*output-rules*))])))
 
 ;; Prints the set of active Clauses (held in utree).
 ;;