From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Sebastien.Hinderer@inria.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 3659C7FD90
	for <caml-list@sympa.inria.fr>; Thu, 12 Jan 2017 13:56:46 +0100 (CET)
X-IronPort-AV: E=Sophos;i="5.33,349,1477954800"; 
   d="scan'208";a="208898223"
Received: from pl-59055.paris.inria.fr (HELO pl-59055.rocqadm.inria.fr) ([128.93.64.92])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 12 Jan 2017 13:56:45 +0100
Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.87)
	(envelope-from <Sebastien.Hinderer@inria.fr>)
	id 1cRevt-0003jp-O3
	for caml-list@inria.fr; Thu, 12 Jan 2017 13:56:45 +0100
Date: Thu, 12 Jan 2017 13:56:45 +0100
From: =?utf-8?Q?S=C3=A9bastien?= Hinderer <Sebastien.Hinderer@inria.fr>
To: caml-list@inria.fr
Message-ID: <20170112125645.gedfcw7f7t7uwozg@pl-59055.rocqadm.inria.fr>
Mail-Followup-To: caml-list@inria.fr
References: <20170111084246.GA8653@pllab.is.ocha.ac.jp>
 <CAAmHUA=0VJpsTUtaXx91KJzxzCjTQyhDcv-OXh4oVye3BFSLww@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <CAAmHUA=0VJpsTUtaXx91KJzxzCjTQyhDcv-OXh4oVye3BFSLww@mail.gmail.com>
Subject: Re: [Caml-list] merlin--phrase-goto

Hi,

Many thanks for having pointed to the GitHub issue, Raphaël.

For information: Frédéric has fixed the problem yesterday.

Tu use his fix,:

opam pin add merlin
git://github.com/the-lambda-church/merlin.git#merlin-next

Sébastien.