Closed Vindaar closed 2 years ago
This warning does not mean we won't be able to deduce the type based on the found symbols in the formula later. As such it's just extremely confusing to write this message.
This warning does not mean we won't be able to deduce the type based on the found symbols in the formula later. As such it's just extremely confusing to write this message.