I would say he rejected the Gödel’s interpretation of his theorem but not the theorem itself.
I would say each of them had a different implementations of the eval() function.
Wittgenstein wrote about the incorrectness of Godel's famous 1931 argument for incompleteness of Russell's Principia Mathematica because Wittgenstein showed that the [Godel 1931] proposition I'mUnprovable leads to inconsistency in mathematics.