Changed symbol_options to domain.
[ginac.git] / ginsh / ginsh_parser.yy
index 00aaea3e277eca841256471db8ae153835a5386f..c045826754f5dc2a4c6f9d0a2f7d0a47aec4852d 100644 (file)
@@ -202,8 +202,8 @@ line        : ';'
                cout << (syms.size() > 350 ? 350 : syms.size());
                cout << " out of a possible 350.\n";
        }
-       | T_REAL_SYMBOLS { symboltype = symbol_options::real; }
-       | T_COMPLEX_SYMBOLS { symboltype = symbol_options::complex; }
+       | T_REAL_SYMBOLS { symboltype = domain::real; }
+       | T_COMPLEX_SYMBOLS { symboltype = domain::complex; }
        | T_TIME {getrusage(RUSAGE_SELF, &start_time);} '(' exp ')' {
                getrusage(RUSAGE_SELF, &end_time);
                cout << (end_time.ru_utime.tv_sec - start_time.ru_utime.tv_sec) +