diff options
| author | Tuowen Zhao <ztuowen@gmail.com> | 2016-09-18 15:16:52 -0600 |
|---|---|---|
| committer | Tuowen Zhao <ztuowen@gmail.com> | 2016-09-18 15:16:52 -0600 |
| commit | 18644419b50b2b14a24456e0fcdb210f231ee317 (patch) | |
| tree | 3d2a57050ae93ee0ceb71df319b1533480a4001d /omegalib/omega/src/reach.cc | |
| parent | 2fce43d484e4148ae858f410d51dcd9951d34374 (diff) | |
| download | chill-18644419b50b2b14a24456e0fcdb210f231ee317.tar.gz chill-18644419b50b2b14a24456e0fcdb210f231ee317.tar.bz2 chill-18644419b50b2b14a24456e0fcdb210f231ee317.zip | |
doc updated for code_gen
Diffstat (limited to 'omegalib/omega/src/reach.cc')
| -rw-r--r-- | omegalib/omega/src/reach.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/omegalib/omega/src/reach.cc b/omegalib/omega/src/reach.cc index bde785c..6569edb 100644 --- a/omegalib/omega/src/reach.cc +++ b/omegalib/omega/src/reach.cc @@ -1,12 +1,12 @@ #include <omega.h> #include <omega/Relations.h> -#include <basic/Dynamic_Array.h> +#include <basic/DynamicArray.h> #include <omega/reach.h> namespace omega { -typedef Dynamic_Array1<Relation> Rel_Array1; -typedef Dynamic_Array2<Relation> Rel_Array2; +typedef DynamicArray1<Relation> Rel_Array1; +typedef DynamicArray2<Relation> Rel_Array2; // This is from parallelism.c, modified |