search

msgpack / msgpack-ocaml

MessagePack implementation for OCaml / msgpack.org[OCaml]
45 stars 19 forks source link

`Error: No such unproven subgoal` on make #1

Closed sergi closed 11 years ago

sergi commented 11 years ago

I get the following error when doing omake:

*** omake: reading OMakefiles
*** omake: finished reading OMakefiles (0.08 sec)
- build proof SerializedList.vo                                                                                                                              
+ coqc SerializedList.v
File "./SerializedList.v", line 250, characters 0-28:
Error: No such unproven subgoal
*** omake: 71/133 targets are up to date                                                                                                                     
*** omake: failed (15.57 sec, 17/17 scans, 10/20 rules, 37/160 digests)
*** omake: targets were not rebuilt because of errors:                                                                                                       
   proof/SerializedList.glob
      depends on: proof/SerializedList.v
   proof/SerializedList.vo
      depends on: proof/SerializedList.v
mzp commented 11 years ago

Thanks for reporting. I fix at 7f29dab3bb67599f5947d9b9a7336b9b81111a3f.