diff --git a/src/plugins/wp/Why3Import.ml b/src/plugins/wp/Why3Import.ml
index c644d56a0a8770ae96e38a1eda74fa3b56d00358..605dfc94936942a82a789ce4e99930e0a3a0d8c1 100644
--- a/src/plugins/wp/Why3Import.ml
+++ b/src/plugins/wp/Why3Import.ml
@@ -349,7 +349,7 @@ let loader (ctxt: Logic_typing.module_builder) (_: C.location) (m: string list)
         ctxt.add_logic_function loc li;
       ) current_module.logics;
     L.result "Successfully imported theory at %s"
-      @@ String.concat "::" current_module.paths;
+    @@ String.concat "::" current_module.paths;
 
   end