From 200e00d503ba9bb96760befefe2ee8769ffacf38 Mon Sep 17 00:00:00 2001 From: James McKinna Date: Thu, 8 Feb 2024 08:29:34 +0000 Subject: [PATCH] manual fix for #1380 --- src/Data/Bool/Solver.agda | 2 +- src/Data/Integer/Solver.agda | 2 +- src/Data/Integer/Tactic/RingSolver.agda | 2 +- src/Data/Nat/Solver.agda | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Data/Bool/Solver.agda b/src/Data/Bool/Solver.agda index 8de769b42f..6a1cc83b03 100644 --- 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 index fcb3e411dc..46e9398677 100644 --- 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 index ec812e3f0a..affe9ecd2e 100644 --- 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 index 4c851c0e4b..efd14902b4 100644 --- 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 #-}