Change a TODO item into an issue (#2).

d9e0d5f9 · POTTIER Francois · c50a32dd · d9e0d5f9
Commit d9e0d5f9 authored Sep 24, 2019 by POTTIER Francois
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 3 deletions

TODO.md TODO.md +0 -3

No files found.
--- a/TODO.md
+++ b/TODO.md
-* BUG? Activating `-rectypes` at the end of `Client.ml` causes `make main` to
-  fail at line 275 of `Generalization.ml`.
-
 * Think about the treatment of unreachable type variables. Could it
  be simplified? Do we really need a let form that binds several names at once?