From cdbfad340dcd8cd3428853886964882b389776c6 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Wed, 18 Feb 2015 12:04:30 +0100
Subject: Fix bug #4046.

---
 toplevel/classes.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toplevel/classes.ml b/toplevel/classes.ml
index 01b560d0c4..07f881721d 100644
--- a/toplevel/classes.ml
+++ b/toplevel/classes.ml
@@ -208,7 +208,7 @@ let new_instance ?(abstract=false) ?(global=false) poly ctx (instid, bk, cl) pro
 	    let get_id =
 	      function
 		| Ident id' -> id'
-		| _ -> errorlabstrm "new_instance" (Pp.str "Only local structures are handled")
+		| Qualid (loc,id') -> (loc, snd (repr_qualid id'))
 	    in
 	    let props, rest =
 	      List.fold_left
-- 
cgit v1.2.3