commit 3f1d26ed2a4843498c187126f95bed67838e08a4
author Timur Iskhakov <iskhakovt@google.com> Wed Aug 30 15:35:53 2017 -0700
committer Timur Iskhakov <iskhakovt@google.com> Thu Aug 31 00:28:09 2017 -0700
tree 83b43a3e6c5aaf3b6030df5bb25d22bee24f46f0
parent 24e605b5194d969a1558d94896d69cc554881e46

Refactor templated type type name

Delete duplicated templated of element structure.

Test: mma
Change-Id: I72e344a648e44a2804d8d3a776cda0c143bcd140

VectorType.h

diff --git a/VectorType.h b/VectorType.h
index 0623496..4b8cad8 100644
--- a/VectorType.h
+++ b/VectorType.h
@@ -31,7 +31,7 @@
     bool isVector() const override;
     bool isVectorOfBinders() const;
 
-    std::string typeName() const override;
+    std::string templatedTypeName() const override;
     bool isCompatibleElementType(const Type* elementType) const override;
 
     std::vector<const Reference<Type>*> getStrongReferences() const override;