Getreidebrei mit Milch und Pre mischen?

Guten Morgen,
Heute morgen hat mein Mann unsere 10 Monate alte Tochter versorgt. Er macht das auch immer ganz gut, nur beim Essen zubereiten hapert es oft, da er es selten macht und sich das nie merkt. Ich habe ihm noch eben gesagt, dass er den Brei mit 60 ml Vollmilch und 60 ml Wasser zubereiten soll. (Abends gibts die gleich Menge Flüssigkeit mit Pre angerührt)
Ich bin dann duschen und er mit der kleinen Runter. Als ich dazu kam war er gerade dabei den Brei fertig zu rühren. Er hatte zusätzliche zu dem Milchgemisch noch 4 Löffel Pre mit eingerührt.
Wir haben es dann nochmal neu angerührt.

Wäre es denn tragisch gewesen, wenn die Kleine das so bekommen und gegessen hätte?
Sie bekommt im Anschluss sowieso noch eine Flasche.