From fd8ca5717a9fb41d4133d4e5ce8c6fe6f5a5d278 Mon Sep 17 00:00:00 2001
From: Pierre Villemot <pierre.villemot@ocamlpro.com>
Date: Wed, 9 Oct 2024 11:36:20 +0200
Subject: [PATCH] Remove outdated documentation

---
 rsc/extra/subgraphs.dot | 1 -
 src/lib/index.mld       | 9 ---------
 2 files changed, 10 deletions(-)

diff --git a/rsc/extra/subgraphs.dot b/rsc/extra/subgraphs.dot
index 4a5669cbe..769a5f44b 100644
--- a/rsc/extra/subgraphs.dot
+++ b/rsc/extra/subgraphs.dot
@@ -187,7 +187,6 @@ subgraph cluster_lib {
                 "Expr";
                 "Xliteral";
                 "Ty";
-                "Parsed";
                 "Typed";
                 "Commands";
                 "Errors";
diff --git a/src/lib/index.mld b/src/lib/index.mld
index fd456523f..2fb328cb7 100644
--- a/src/lib/index.mld
+++ b/src/lib/index.mld
@@ -34,7 +34,6 @@ the {!module:AltErgoLib.Commands} module defines a notion of commands that can
 be sent to the SMT solver.
 
 {!modules:
-AltErgoLib.Parsed
 AltErgoLib.Ty
 AltErgoLib.Typed
 AltErgoLib.Expr
@@ -69,14 +68,6 @@ The {!module:AltErgoLib.Frontend} defines a frontend for the core solver,
 as a functor parametrized by a SAT solver implementation, and returning a solver
 that can process commands as defined by the {!module:AltErgoLib.Commands} module.
 
-The {!module:AltErgoLib.Input} module defines a notion of input method. An input method
-is used to transform a string input (typically one or more files), into typed terms
-and statements. These typed terms can then be translated into commands using the
-{!module:AltErgoLib.Cnf} module.
-
-Finally, the native input method is defined in the {!module:AltErgoLib.Parsed_interface}
-and {!module:AltErgoLib.Typechecker} modules.
-
 {!modules:
 AltErgoLib.Translate
 AltErgoLib.Frontend