From 1e0cbf5533ddf697eb073504aea0d4825511b1e9 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 21 Dec 2006 14:33:54 +0000
Subject: [PATCH] Missing Linux C++ #include.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@206 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/simulator/simpath.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/simulator/simpath.cc b/prism/src/simulator/simpath.cc
index 9cab740f..6884b979 100644
--- a/prism/src/simulator/simpath.cc
+++ b/prism/src/simulator/simpath.cc
@@ -28,6 +28,7 @@
 #include "simutil.h"
 #include <stdio.h>
 #include <iostream>
+#include <math.h>
 
 using std::cout;
 using std::endl;