about summary refs log tree commit diff stats
path: root/048check_type_by_name.cc
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-11-29 11:43:25 -0800
committerKartik K. Agaram <vc@akkartik.com>2015-11-29 11:51:02 -0800
commit691b529e53a608c0837599f2562897e01fda1888 (patch)
tree7116fa6cedb9c7febba7528777b577c9ca23438a /048check_type_by_name.cc
parentafb467ea0270c59f9fdcad9fe5303d0ed526177c (diff)
downloadmu-691b529e53a608c0837599f2562897e01fda1888.tar.gz
2607 - resolve some edge cases in static dispatch
Diffstat (limited to '048check_type_by_name.cc')
-rw-r--r--048check_type_by_name.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/048check_type_by_name.cc b/048check_type_by_name.cc
index 1d4e7dc1..ea4bcba2 100644
--- a/048check_type_by_name.cc
+++ b/048check_type_by_name.cc
@@ -57,7 +57,7 @@ void check_type(map<string, type_tree*>& type, map<string, string_tree*>& type_n
   if (!contains_key(type_name, x.name)) {
     type_name[x.name] = x.properties.at(0).second;
   }
-  if (!types_match(type[x.name], x.type))
+  if (!types_strictly_match(type[x.name], x.type))
     raise_error << maybe(get(Recipe, r).name) << x.name << " used with multiple types\n" << end();
 }