PG accepts `}.` but `coqc` doesn't

[samuelgruetter]

I can step through the following file in proof general without getting any errors:

Goal True /\ True.
Proof.
  split.
  { exact I. }.
  { exact I. }.
Qed.

However, when I try to compile it with coqc, I get

File "./PG_close_brace_dot.v", line 4, characters 14-15:
Error: Syntax error: illegal begin of vernac.

This breaks the invariant that PG should accept a file iff coqc accepts it.

Coq version: 8.13.2 PG version: master (bc86736abb728ec0d28abc90ef0adae21d29a66a)

[Matafou]

Well spotted. Will try to fix this during summer.

[Matafou]

Duplicate of #357.