瀏覽代碼

Documentation fix

Taddeus Kroes 11 年之前
父節點
當前提交
01ce4cbbfb
共有 1 個文件被更改,包括 1 次插入1 次删除
  1. 1 1
      phases/desug.mli

+ 1 - 1
phases/desug.mli

@@ -124,7 +124,7 @@ resulting in:
     a], [n] is just a name given locally to the first dimension of [a].
     Therefore it is transformed into:
 {v     extern int _a_0_;
-    int[_a_0_] a; v}
+    extern int[_a_0_] a; v}
     Also, all occurrences of [n] in the rest of the module are replaced by
     [_a_0_]. For exported arrays, the generated dimension variables need to be
     exported as well.