Clean up

Author: henriman

verification/dependencies/fmt/fmt.gobra

@@ -23,7 +23,7 @@ preserves forall i int :: { &v[i] } 0 <= i && i < len(v) ==> acc(&v[i], R55)
 // The following precondition cannot be adequately captured in Gobra.
 // preserves forall i int :: 0 <= i && i < len(v) ==> definitions.IsOfPrimitiveType(v[i])
 decreases _
-func Sprintf(format string, v ...interface{}) (res string)
+func Sprintf(format string, v ...interface{}) string
 
 type Stringer interface {
 	pred Mem()