Update comment

z3/src/optimize.rs

@@ -28,7 +28,7 @@ impl<'ctx> Optimize<'ctx> {
     }
 
     /// Parse an SMT-LIB2 string with assertions, soft constraints and optimization objectives.
-    /// Add the parsed constraints and objectives to a new created optimization context.
+    /// Add the parsed constraints and objectives to the optimizer.
     pub fn from_string<T: Into<Vec<u8>>>(&self, source_string: T) {
         let source_cstring = CString::new(source_string).unwrap();
         unsafe {