diff --git a/separate_compilation.html b/separate_compilation.html index 3425be5..2a2f325 100644 --- a/separate_compilation.html +++ b/separate_compilation.html @@ -105,10 +105,10 @@ whatever get_whatever(); although you probably shouldn't need to: