Typo

phases/dimreduce.mli

@@ -65,7 +65,7 @@ void foo(int a, int b, int c, int[a, b, c] p) \{  // array parameter
 {v extern int __ext_0;
 extern int[] ext;                  // removing dimension information
 
-void foo(int a, int b, int c, int[a, b, c] p) \{
+void foo(int a, int b, int c, int[] p) \{
     int n; int m; int k; int[] q;  // removing dimension information
     n = 5;
     m = 10;