Skip to content
Snippets Groups Projects
Commit a6b13a81 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[hdrck] typos

parent cf3b0ce8
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Makefile
+ 1
− 1
View file @ a6b13a81
......@@ -81,7 +81,7 @@ include ivette/Makefile.installation
################################
# HDRCK is internal
FRAMAC_HDRCK:=headers/hdrck.exe
FRAMAC_HDRCK:=tools/hdrck/hdrck.exe
# Part that can be shared for external plugins
include share/Makefile.headers
......
tools/hdrck/dune-project
+ 1
− 1
View file @ a6b13a81
......@@ -22,5 +22,5 @@
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
(package
(name frama-c-hdchk)
(name frama-c-hdrck)
)
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment