Revert "Default property editing restores assertions"

[simantics/platform.git] / tests / org.simantics.scl.compiler.tests / src / org / simantics / scl / compiler / tests / scl / CHR8.scl

module { export = [main], chr }
import "StandardLibrary"

main = ()
  where
    X ?x => Y ?y
--
6:15-6:17: New existential variables can be defined only in queries.