manual fix for #1380 (#2285)

jamesmckinna · web-flow · commit 953be184abd8 · 2024-02-14T08:28:17.000Z
diff --git a/src/Data/Bool/Solver.agda b/src/Data/Bool/Solver.agda
@@ -4,7 +4,7 @@
 -- Automatic solvers for equations over booleans
 ------------------------------------------------------------------------
 
--- See README.Nat for examples of how to use similar solvers
+-- See README.Data.Nat for examples of how to use similar solvers
 
 {-# OPTIONS --cubical-compatible --safe #-}
 
diff --git a/src/Data/Integer/Solver.agda b/src/Data/Integer/Solver.agda
@@ -4,7 +4,7 @@
 -- Automatic solvers for equations over integers
 ------------------------------------------------------------------------
 
--- See README.Integer for examples of how to use this solver
+-- See README.Data.Integer for examples of how to use this solver
 
 {-# OPTIONS --cubical-compatible --safe #-}
 
diff --git a/src/Data/Integer/Tactic/RingSolver.agda b/src/Data/Integer/Tactic/RingSolver.agda
@@ -4,7 +4,7 @@
 -- Automatic solvers for equations over integers
 ------------------------------------------------------------------------
 
--- See README.Integer for examples of how to use this solver
+-- See README.Tactic.RingSolver for examples of how to use this solver
 
 {-# OPTIONS --cubical-compatible --safe #-}
 
diff --git a/src/Data/Nat/Solver.agda b/src/Data/Nat/Solver.agda
@@ -4,7 +4,7 @@
 -- Automatic solvers for equations over naturals
 ------------------------------------------------------------------------
 
--- See README.Nat for examples of how to use this solver
+-- See README.Data.Nat for examples of how to use this solver
 
 {-# OPTIONS --cubical-compatible --safe #-}
 
