diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex index 7d42441dc8ce4fd3b4ac1fdeb3f7ac320e9c1a3f..278621f3d06a08ba57a74037411be08a56c88251 100644 --- a/doc/developer/advance.tex +++ b/doc/developer/advance.tex @@ -2806,7 +2806,7 @@ a new one is loaded\index{Loading} from disk). \scodeidxdef{File}{init\_project\_from\_visitor}; or write the following line of code (see Section~\ref{proj:selection}): \scodeidx{Project}{clear} - \scodeidx{State\_selection}{only\_dependencies} + \sscodeidx{State\_selection}{S}{only\_dependencies} \scodeidx{Ast}{self} \begin{alltt} let selection = State_selection.only_dependencies Ast.self in @@ -2915,7 +2915,7 @@ consistently handle state dependencies\index{State!Dependency}. The following statement clears all the results of the value analysis and all its dependencies in the current project.\index{State!Cleaning} \scodeidx{Project}{clear} - \scodeidx{State\_selection}{with\_dependencies} + \sscodeidx{State\_selection}{S}{with\_dependencies} \sscodeidx{Db}{Value}{self} \begin{ocamlcode} let selection = State_selection.with_dependencies Db.Value.self in diff --git a/doc/developer/tutorial.tex b/doc/developer/tutorial.tex index 865695b9b8d997917239001b095ae566e2eb1f64..4d1f208a3d1e85e105b6cb0f745e75007d0a4a4a 100644 --- a/doc/developer/tutorial.tex +++ b/doc/developer/tutorial.tex @@ -1256,7 +1256,7 @@ following. \ocamlinput{./tutorial/viewcfg/src/dump_function_memo_clear_cache.ml} \sscodeidx{Db}{Value}{is\_computed} -\scodeidx{State\_selection}{with\_dependencies} +\sscodeidx{State\_selection}{S}{with\_dependencies} \scodeidx{Project}{clear} The only part that need to be explained is the notion of @@ -1310,7 +1310,7 @@ To summarize: when the former is modified in an incompatible way. For instance, it would have been incorrect to not call \texttt{State\_selection.with\_dependencies} - \scodeidx{State\_selection}{with\_dependencies} in the last code snippet of + \sscodeidx{State\_selection}{S}{with\_dependencies} in the last code snippet of this tutorial. \end{itemize}