Fix compilation warning by erlang/otp@7b16914

parapluu / Concuerror

Concuerror is a stateless model checking tool for Erlang programs.

http://parapluu.github.io/Concuerror

BSD 2-Clause "Simplified" License

333 stars 41 forks source link

Fix compilation warning by erlang/otp@7b16914 #148

Closed aronisstav closed 7 years ago

aronisstav commented 7 years ago

src/concuerror_callback.erl:1041: erlang:get_stacktrace/0 used following
 an old-style 'catch' may stop working in a future release. (Use it inside 'try'.)

This is due to: https://github.com/erlang/otp/commit/7b169140b2d37f43996b9d1a94877926a471d97d

kostis commented 7 years ago

Fixed by https://github.com/parapluu/Concuerror/commit/d672875bf6439258b9cc0af0f60c7fecbd8bca98