diff options
| -rw-r--r-- | contrib/extraction/TODO | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/extraction/TODO b/contrib/extraction/TODO index 1957c44634..7deda197ee 100644 --- a/contrib/extraction/TODO +++ b/contrib/extraction/TODO @@ -2,3 +2,5 @@ 12. Ocaml typing => magic + cast. 13. Managing huge extraction (constructive FTA). + + 14. Extract Constant do not work under a section. |