equal
deleted
inserted
replaced
47 |
47 |
48 |
48 |
49 #include <stdio.h> // required for NULL |
49 #include <stdio.h> // required for NULL |
50 #include <vector> |
50 #include <vector> |
51 #include <string> |
51 #include <string> |
|
52 #include <stdint.h> // required for uint64_t, etc... |
52 |
53 |
53 /* Forward declaration of the visitor interface |
54 /* Forward declaration of the visitor interface |
54 * declared in the visitor.hh file |
55 * declared in the visitor.hh file |
55 * We cannot include the visitor.hh file, as it will |
56 * We cannot include the visitor.hh file, as it will |
56 * include this same file first, as it too requires references |
57 * include this same file first, as it too requires references |