diff options
| author | Matej Kosik | 2016-08-26 15:44:22 +0200 |
|---|---|---|
| committer | Matej Kosik | 2016-08-26 15:44:22 +0200 |
| commit | f70a374e05bd1235412ee7b76235b47d176ad595 (patch) | |
| tree | c071c04d08032caf67853af6f9c0484481dac9d9 /dev | |
| parent | ab9d2406975aba499d52f559e3303b82ce72d8ca (diff) | |
CLEANUP: removing "Termops.compact_named_context_reverse" function
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/changes.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dev/doc/changes.txt b/dev/doc/changes.txt index 70626524bb..a7b5c61e91 100644 --- a/dev/doc/changes.txt +++ b/dev/doc/changes.txt @@ -9,6 +9,10 @@ We renamed the following functions: Printer.pr_var_list_decl -> Printer.pr_compacted_decl Printer.pr_var_decl -> Printer.pr_named_decl +We removed the following functions: + + Termops.Termops.compact_named_context_reverse + We renamed the following modules: Context.ListNamed -> Context.Compacted |