Change subject: Makefile.proof: Remove cvc4 from prover list
......................................................................
--
To view, visit
https://review.coreboot.org/26837
To unsubscribe, or for help writing mail filters, visit
https://review.coreboot.org/settings
Gerrit-Project: libhwbase
Gerrit-Branch: master
Gerrit-MessageType: comment
Gerrit-Change-Id: Ib0458bfe53fd999c60f8d1b7cf8709e6195d0a42
Gerrit-Change-Number: 26837
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber
nico.h@gmx.de
Gerrit-Reviewer: Nico Huber
nico.h@gmx.de
Gerrit-Comment-Date: Mon, 04 Jun 2018 22:52:53 +0000
Gerrit-HasComments: No
Gerrit-HasLabels: Yes