Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

name of the contrib

  • Loading branch information...
commit 5356388826a97348522dac871487dca3e82f668e 1 parent a4db5b6
@braibant authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  Makefile
View
2  Makefile
@@ -1,5 +1,5 @@
MODULES := src/evm_compute.ml4 src/Evm_compute.v test-suite/Example.v
-NAME := Exploit
+NAME := evm_compute
ROOT := ./
.PHONY: coq clean
Please sign in to comment.
Something went wrong with that request. Please try again.