From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.36.26.130 with SMTP id 124mr3493796iti.32.1503519220251;
        Wed, 23 Aug 2017 13:13:40 -0700 (PDT)
X-Received: by 10.36.111.138 with SMTP id x132mr205918itb.7.1503519220232;
 Wed, 23 Aug 2017 13:13:40 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!border1.nntp.ams1.giganews.com!nntp.giganews.com!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.am4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!x187no141154ite.0!news-out.google.com!c139ni317itb.0!nntp.google.com!x187no143567ite.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 23 Aug 2017 13:13:39 -0700 (PDT)
In-Reply-To: <2c0aed76-6cdb-45e1-93f8-a6310fd3061e@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=149.32.224.37;
 posting-account=Qh2kiQoAAADpCLlhT_KTYoGO8dU3n4I6
NNTP-Posting-Host: 149.32.224.37
References: <d90e8f5d-90a6-475c-a0af-28d8d10f164f@googlegroups.com>
 <1535b1b9-76da-434e-8359-d5671fbe9e48@googlegroups.com>
 <0bd9bfce-7c69-41ed-9f3e-2d0a2d35cd96@googlegroups.com>
 <lyh8wzz8ur.fsf@pushface.org>
 <2c0aed76-6cdb-45e1-93f8-a6310fd3061e@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <569fab31-3223-4821-b312-84f7756ee119@googlegroups.com>
Subject: Re: Problem with GPS under MacOS
From: Anh Vo <anhvofrcaus@gmail.com>
Injection-Date: Wed, 23 Aug 2017 20:13:40 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Body-CRC: 3890090629
X-Received-Bytes: 2184
Xref: news.eternal-september.org comp.lang.ada:47798
Date: 2017-08-23T13:13:39-07:00
List-Id: <comp.lang.ada>

On Tuesday, August 22, 2017 at 2:04:30 PM UTC-7, Laurent wrote:
> On Tuesday, 22 August 2017 21:43:43 UTC+2, Simon Wright  wrote:
> > 

<< This time the crashlog is slightly different: 
---------------------------------------- 
Process:               gps_exe [1549] 
Path:                  /usr/local/gnat/bin/gps_exe 
Identifier:            com.adacore 
Version:               6.0.1 (6.0.1) 
Code Type:             X86-64 (Native) 
Parent Process:        ??? [1] 
Responsible:           gps_exe [1549] 
User ID:               501  >>

I am curious why GPS version 6.0.1 recorded in the log file while GPS 2017 was used. Is it possible that your GPS 2016 still visible some how. By the way, I have almost zero knowledge of Mac OS.

Anh Vo