about summary refs log tree commit diff stats
path: root/021check_instruction.cc
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2017-04-19 00:39:10 -0700
committerKartik K. Agaram <vc@akkartik.com>2017-04-19 00:39:10 -0700
commit86c715d712401ea09ccedd7120051103faacd500 (patch)
treec9e749e3fb55cedb45c61709ddfb801df609e61a /021check_instruction.cc
parent46a3b11cdbc20b0c6e63b18a1e1af7b4383217d3 (diff)
downloadmu-86c715d712401ea09ccedd7120051103faacd500.tar.gz
3836
Fix CI.
Diffstat (limited to '021check_instruction.cc')
-rw-r--r--021check_instruction.cc2
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