What effect would cutting the vagus nerve branch that innervates the stomach have on gastric function?