diff options
| author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-09 22:51:16 (GMT) |
|---|---|---|
| committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2014-04-09 22:51:16 (GMT) |
| commit | 8a9b432d36e5748898abffe9f1607d93e45bab4b (patch) | |
| tree | 0b95e832a9b3b2daf9ae45bf81084eda580752a0 /config.h.in | |
| parent | 7d98ac1fd2e9da3162f3b6d38b22106f463edd9d (diff) | |
| download | uscxml-8a9b432d36e5748898abffe9f1607d93e45bab4b.zip uscxml-8a9b432d36e5748898abffe9f1607d93e45bab4b.tar.gz uscxml-8a9b432d36e5748898abffe9f1607d93e45bab4b.tar.bz2 | |
Started with promela datamodel
Diffstat (limited to 'config.h.in')
| -rw-r--r-- | config.h.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config.h.in b/config.h.in index 8c579b0..a6b8c74 100644 --- a/config.h.in +++ b/config.h.in @@ -48,6 +48,7 @@ /** whether we want some feature */ #cmakedefine BUILD_DM_PROLOG +#cmakedefine BUILD_DM_PROMELA #cmakedefine BUILD_DM_ECMA #cmakedefine BUILD_DM_XPATH |