非常に微妙な話です。

　一言で答えるなら、正しいカード名を指定していないことで、その《翻弄する魔道士》は、何も指定していない物として扱うのが妥当だと考えられます。

　しかし、微妙なのはここからです。
　その戦闘魔道士をプレイしようとしたプレイヤーは、「みどりばとるめいじ」というカードがあると思っていたのでしょうか？
　どのようなフォーマットにおいても、トーナメント環境にはそのようなカードはありません。また、（プレリリースを除いては）トーナメントの参加者は、その環境について充分な知識を持っていることは前提です。
　ですから、当然、そのプレイヤーは「みどりばとるめいじ」というカードを指定されたときには、禁止されているカードが存在していないことに気付くはずです。
　では、なぜ彼はその宣言を看過したのか、と考えると、「みどりばとるめいじ」と宣言させておけば、《荊景学院の戦闘魔道士》をプレイできるままにできるから、というのが一つの理由だと考えられます。

　このように考えて、私がジャッジなら、この場合、《翻弄する魔道士》は何も禁止しないけれども、それについて意思疎通を怠ったことで双方のプレイヤーに注意を与えます。
　そのことがゲーム的に重大な意味を持つ場合には警告、あるいはそれ以上の罰則を与えることもあり得るでしょう。