[souffle-commits] [oracle/souffle] d76811: Fixes profiler crash

[GitHub]

  Branch: refs/heads/profiler-fixes
  Home:   https://github.com/oracle/souffle
  Commit: d76811096a969ec6965d7b599f1a882aa3e115cb
      https://github.com/oracle/souffle/commit/d76811096a969ec6965d7b599f1a882aa3e115cb
  Author: Tom King <thomas.x.king at oracle.com>
  Date:   2016-09-15 (Thu, 15 Sep 2016)

  Changed paths:
    M prof/src/com/oracle/souffleprof/ProgramRun.java

  Log Message:
  -----------
  Fixes profiler crash