Commits

camlspotter  committed 359b4b2

Fixed Issue #31: Assertion failure with cmts from a compilation error

  • Participants
  • Parent commits f6d850d

Comments (0)

Files changed (2)

 # At install, we must do it differently.
 ifeq ($(WITH_OCAMLOPT),)
 ocamlspot: ocamlspot.byt
+	rm -f ocamlspot
 	ln -s ocamlspot.byt ocamlspot
 else   
 ocamlspot: ocamlspot.opt
+	rm -f ocamlspot
 	ln -s ocamlspot.opt ocamlspot
 endif
 
         EXTRACT.clear_cache ();
         let down_to_sitems = function
           | Abstraction.AMod_structure str -> str
-          | _ -> assert false
+          | _ -> [] (* We cannot extract sitems from the others *)
         in
         let part = function
           | Partial_structure str -> down_to_sitems & EXTRACT.structure str