Fix the compilation of the command-line tool

mirage · Jun 19, 2015 · b6fbec5 · b6fbec5
1 parent 7c99014
commit b6fbec5
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/bin/ir_cli.ml b/bin/ir_cli.ml
@@ -269,8 +269,9 @@ let clone = {
         store >>= fun t ->
         remote >>= fun remote ->
         Sync.fetch (t "Cloning.") ?depth remote >>= function
-        | Some d -> S.update_head (t "update head after clone") d
-        | None   -> return_unit
+        | `Head d  -> S.update_head (t "update head after clone") d
+        | `No_head -> return_unit
+        | `Error   -> Printf.eprintf "Error!\n"; exit 1
       end
     in
     Term.(mk clone $ store $ remote $ depth);