about summary refs log tree commit diff stats
path: root/033exclusive_container.cc
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-09-17 10:22:56 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-09-17 10:23:03 -0700
commit97cf12b19e2f6bd754027e25b768f6dad1c3d587 (patch)
tree8577ebfe1f019c02789dbb3982a7c23de30aaae4 /033exclusive_container.cc
parentb8f11f750f2fa8848734c044a6eddf66a04dbaff (diff)
downloadmu-97cf12b19e2f6bd754027e25b768f6dad1c3d587.tar.gz
3383
Fix overzealous search-and-replace in commit 3380.
Diffstat (limited to '033exclusive_container.cc')
-rw-r--r--033exclusive_container.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/033exclusive_container.cc b/033exclusive_container.cc
index 3fa8426a..d3852d61 100644
--- a/033exclusive_container.cc
+++ b/033exclusive_container.cc
@@ -11,7 +11,7 @@ type_ordinal tmp = put(Type_ordinal, "number-or-point", Next_type_ordinal++);
 get_or_insert(Type, tmp);  // initialize
 get(Type, tmp).kind = EXCLUSIVE_CONTAINER;
 get(Type, tmp).name = "number-or-point";
-get(Type, tmp).elements.push_back(reagent("i:num"));
+get(Type, tmp).elements.push_back(reagent("i:number"));
 get(Type, tmp).elements.push_back(reagent("p:point"));
 }