Added a CircleArc_2 option

2007-08-06 08:58:49 +00:00 · 2007-08-06 08:58:49 +00:00 · b458326d39
parent 139fdbeacc
commit b458326d39
1 changed files with 2 additions and 0 deletions
--- a/Benchmark/src/Benchmark/benchmark_parser.y
+++ b/Benchmark/src/Benchmark/benchmark_parser.y
@ -288,6 +288,8 @@ circle_arc_2:

 circle_arc_2_body:
    point_2 ',' point_2 ',' point_2
+  | Circle_2 circle_2 ',' point_2 ',' point_2 ','
+      orientation                    { visitor->accept_orientation( $8); }
  ;

 iso_ellipse_2: