Make print non-inline

2014-09-25 07:08:25 -07:00
parent ae8bc36e57
commit 163178eee1
2 changed files with 5 additions and 3 deletions
@@ -2049,9 +2049,7 @@ void print(std::FILE *f, StringRef format_str, ArgList args);
    print("Elapsed time: {0:.2f} seconds", 1.23);
  \endrst
 */
-inline void print(StringRef format_str, ArgList args) {
-  print(stdout, format_str, args);
-}
+void print(StringRef format_str, ArgList args);

 /**
  \rst