saco el mismos

espec/drone.tex

@@ -19,7 +19,7 @@
 \end{problema}
 	
 \begin{problema}{vueloRealizadoD}{d: Drone}{[(\ent, \ent)]}
-	\asegura{mismos(res,vueloRealizado(d))}
+	\asegura{res==vueloRealizado(d)}
 \end{problema}
 
 \begin{problema}{posicionActualD}{d: Drone}{(\ent, \ent)}