Adapt to https://github.com/coq/coq/pull/19530 #420
Annotations
2 errors
|
all:
src/coqutil/Macros/WithQualName.v#L33
In environment
p := ("Stdlib.Init.Datatypes.nat", nat) : string * Set
l := ([] : list (string * nat)) : list (string * nat)
l0 := [("Stdlib.Init.Datatypes.unit", unit)] : list (string * Set)
l1 :=
|
|
all
Process completed with exit code 2.
|
Loading