Skip to content
Snippets Groups Projects
Commit 5a2820a0 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Doc] fix file name in devman include

parent 95df9e20
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
doc/developer/tutorial.tex
+ 1
− 1
View file @ 5a2820a0
...@@ -1039,7 +1039,7 @@ expression.} in the \texttt{dune} file. ...@@ -1039,7 +1039,7 @@ expression.} in the \texttt{dune} file.
We will use a function from the \textsf{Eva} plug-in in our example, We will use a function from the \textsf{Eva} plug-in in our example,
so we will add \texttt{frama-c-eva.core} to the \texttt{dune} file: so we will add \texttt{frama-c-eva.core} to the \texttt{dune} file:
\duneinput[linerange={5-5}]{./tutorial/viewcfg/v3-eva/dune-project} \duneinput[linerange={5-5}]{./tutorial/viewcfg/v3-eva/dune}
Now our plug-in can call all functions and access all types declared in Now our plug-in can call all functions and access all types declared in
\textsf{Eva}'s public interface. \textsf{Eva}'s public interface.
......
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