Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
File "./output/bug_4337.v", line 4, characters 35-36:
The command has indeed failed with message:
In environment
Foo : list var -> term -> Prop
l : list var
x : var
The term "x" has type "var" while it is expected to have type "term".
[ Dauer der Verarbeitung: 0.26 Sekunden
]
