Correct warning for Profile buffer being full

jiahao · Jun 21, 2014 · 4cc0f1f · 4cc0f1f
1 parent 339f72e
commit 4cc0f1f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/base/profile.jl b/base/profile.jl
@@ -108,7 +108,7 @@ function fetch()
  len = len_data()
  maxlen = maxlen_data()
  if (len == maxlen)
- warn("The profile data buffer is full; profiling probably terminated\nbefore your program finished. To profile for longer runs, call Profile.init()\nwith a larger buffer and/or larger delay.")
+ warn("The profile data buffer is full; profiling probably terminated\nbefore your program finished. To profile for longer runs, call Profile.__init__()\nwith a larger buffer and/or larger delay.")
  end
  pointer_to_array(get_data_pointer(), (len,))
 end