From b0442b0e38b410962bf736585d34f5b8185eb9c2 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 23 May 2007 14:57:20 +0000 Subject: [PATCH] Reindented. --- components/library/librarySync.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/components/library/librarySync.ml b/components/library/librarySync.ml index 086893a97..83f861b4e 100644 --- a/components/library/librarySync.ml +++ b/components/library/librarySync.ml @@ -149,7 +149,7 @@ let add_single_obj uri obj refinement_toolkit = raise exc with exc -> CicEnvironment.remove_obj uri; (* -1 *) - raise exc + raise exc end let remove_single_obj uri = -- 2.39.2