From 2e797045fad7fd4ab9427599e5dbcebbc69f1c39 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 11 Jul 2022 20:33:12 -0700 Subject: [PATCH] remove space Signed-off-by: Nikolaj Bjorner --- doc/website.dox.in | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/doc/website.dox.in b/doc/website.dox.in index de5feb685..5249f2ae0 100644 --- a/doc/website.dox.in +++ b/doc/website.dox.in @@ -8,6 +8,5 @@ This website hosts the automatically generated documentation for the Z3 APIs. - - \ref @C_API@ - - \ref @CPP_API@ @DOTNET_API@ @JAVA_API@ @PYTHON_API@ @OCAML_API@ @JS_API@ + - \ref @C_API@ @CPP_API@ @DOTNET_API@ @JAVA_API@ @PYTHON_API@ @OCAML_API@ @JS_API@ */