dictionary: Introduce SPLIT_NONE for dictionaries without split variables.
authorBen Pfaff <blp@cs.stanford.edu>
Sat, 6 Aug 2022 17:55:12 +0000 (10:55 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Sun, 28 Aug 2022 21:22:19 +0000 (14:22 -0700)
commit5f90c3d6b3d73d535c730df350310107fd942532
tree0d41a2960b76506843363fbf79de8d60f1d32e5c
parent62e7170578f4265d2baa01aaaf2ea6788fe7b4a4
dictionary: Introduce SPLIT_NONE for dictionaries without split variables.

This also implements dict_get_split_type(), which previously had a
prototype but no implementation.
src/data/dictionary.c
src/data/dictionary.h