<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="refresh" content="0;URL=../../../ocl/traits/trait.IntoMarker.html">
</head>
<body>
<p>Redirecting to <a href="../../../ocl/traits/trait.IntoMarker.html">../../../ocl/traits/trait.IntoMarker.html</a>...</p>
<script>location.replace("../../../ocl/traits/trait.IntoMarker.html" + location.search + location.hash);</script>
</body>
</html>