diff --git a/doc/developer/tutorial.tex b/doc/developer/tutorial.tex index 49a6d9a22564174bba8ff5145ccc87b3c5ced9f2..b80f21bf5d46c235fbff1c9e2e9d956372bb2bf2 100644 --- a/doc/developer/tutorial.tex +++ b/doc/developer/tutorial.tex @@ -1039,7 +1039,7 @@ expression.} in the \texttt{dune} file. 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: -\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 \textsf{Eva}'s public interface.