diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/runtime/dotNet/Expr.cs | 2 | ||||
| -rw-r--r-- | src/runtime/dotNet/Type.cs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/runtime/dotNet/Expr.cs b/src/runtime/dotNet/Expr.cs index b5ab0b764..dada28fc0 100644 --- a/src/runtime/dotNet/Expr.cs +++ b/src/runtime/dotNet/Expr.cs @@ -38,7 +38,7 @@ namespace PGFSharp /// </summary> /// <param name="exprStr"></param> /// <returns></returns> - public Expr ReadExpr(string exprStr) + public static Expr ReadExpr(string exprStr) { var tmp_pool = new NativeGU.NativeMemoryPool(); var exn = new NativeGU.NativeExceptionContext(tmp_pool); diff --git a/src/runtime/dotNet/Type.cs b/src/runtime/dotNet/Type.cs index f9392bdf7..f60ab7cf1 100644 --- a/src/runtime/dotNet/Type.cs +++ b/src/runtime/dotNet/Type.cs @@ -35,7 +35,7 @@ namespace PGFSharp /// </summary> /// <param name="typeStr"></param> /// <returns></returns> - public Type ReadType(string typeStr) + public static Type ReadType(string typeStr) { var tmp_pool = new NativeGU.NativeMemoryPool(); var exn = new NativeGU.NativeExceptionContext(tmp_pool); |
