Spracherkennung für: .out vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
File "./output/bug_4712_part2.v", line 6, characters 21-28:
The command has indeed failed with message:
The reference foobarA was not found in the current environment.
File "./output/bug_4712_part2.v", line 8, characters 21-22:
Error: Syntax Error: Lexer: Undefined token
coqc exited with code 1
[ Dauer der Verarbeitung: 0.111 Sekunden
]
