diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-04-19 00:39:10 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-04-19 00:39:10 -0700 |
commit | 86c715d712401ea09ccedd7120051103faacd500 (patch) | |
tree | c9e749e3fb55cedb45c61709ddfb801df609e61a | |
parent | 46a3b11cdbc20b0c6e63b18a1e1af7b4383217d3 (diff) | |
download | mu-86c715d712401ea09ccedd7120051103faacd500.tar.gz |
3836
Fix CI.
-rw-r--r-- | 021check_instruction.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/021check_instruction.cc b/021check_instruction.cc index 35b3eea0..6b716362 100644 --- a/021check_instruction.cc +++ b/021check_instruction.cc @@ -174,6 +174,8 @@ void test_type_abbreviations_match_raw_types() { // b has type (address buffer address array character) reagent b("b:address:buffer:address:array:character"); CHECK(types_strictly_match(a, b)); + delete Type_abbreviations["text"]; + put(Type_abbreviations, "text", NULL); } //: helpers |