From d0621e5820b4ce1b72907f5cdb3c68487ce20c60 Mon Sep 17 00:00:00 2001 From: Thomas Lively Date: Fri, 14 Apr 2023 17:54:25 -0700 Subject: Remove the --hybrid and --nominal command line options (#5669) After this change, the only type system usable from the tools will be the standard isorecursive type system. The nominal type system is still usable via the API, but it will be removed entirely in a follow-on PR. --- CHANGELOG.md | 3 +++ 1 file changed, 3 insertions(+) (limited to 'CHANGELOG.md') diff --git a/CHANGELOG.md b/CHANGELOG.md index 878ae9dd3..f2d76ec92 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -17,6 +17,9 @@ Current Trunk - Some C and JS API functions now refer to data and element segments by name instead of index. +- The --nominal and --hybrid command line options have been removed. The only + supported type system is now the standard isorecursive (i.e. hybrid) type + system. v112 ---- -- cgit v1.2.3