Fix a tiny typo in publictypes.h
#4178
+1
−1
Merged
publictypes.h
#4178