Fix installation instructions

PiperOrigin-RevId: 362474081
2026-05-28 10:45:46 +08:00 · 2021-03-12 09:43:39 +00:00
parent a5d5592972
commit 5cf55efe1f
2 changed files with 2 additions and 3 deletions
@@ -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).
 ;;