experimental/optional -> optional

2019-03-14 14:10:52 +01:00
parent 86f3b94c8c
commit ef52ccf035
14 changed files with 26 additions and 26 deletions
@@ -81,7 +81,7 @@ public:

    /* The allowed filesystem paths in restricted or pure evaluation
       mode. */
-    std::experimental::optional<PathSet> allowedPaths;
+    std::optional<PathSet> allowedPaths;

    Value vEmptySet;