work around flow :(

yyx990803 · yyx990803 · commit 9bbf7230a59f · 2016-08-12T16:28:00.000-05:00
diff --git a/src/core/vdom/create-component.js b/src/core/vdom/create-component.js
@@ -157,7 +157,7 @@ function insert (vnode: MountedComponentVNode) {
   }
 }
 
-function destroy (vnode: MountedComponentVNode) {
+function destroy (vnode: any) {
   if (!vnode.child._isDestroyed) {
     if (!vnode.data.keepAlive) {
       vnode.child.$destroy()

Original file line number	Diff line number	Diff line change
`@@ -157,7 +157,7 @@ function insert (vnode: MountedComponentVNode) {`
`157`	`157`	`}`
`158`	`158`	`}`
`159`	`159`
`160`		`-function destroy (vnode: MountedComponentVNode) {`
	`160`	`+function destroy (vnode: any) {`
`161`	`161`	`if (!vnode.child._isDestroyed) {`
`162`	`162`	`if (!vnode.data.keepAlive) {`
`163`	`163`	`vnode.child.$destroy()`