diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml deleted file mode 100644 index 8b83c0b..0000000 --- a/.github/workflows/codeql-analysis.yml +++ /dev/null @@ -1,34 +0,0 @@ -name: "Code scanning - action" - -on: - push: - pull_request: - schedule: - - cron: '0 15 * * 2' - -jobs: - CodeQL-Build: - - runs-on: ubuntu-latest - - steps: - - name: Checkout repository - uses: actions/checkout@v2 - with: - # We must fetch at least the immediate parents so that if this is - # a pull request then we can checkout the head. - fetch-depth: 2 - - # If this run was triggered by a pull request event, then checkout - # the head of the pull request instead of the merge commit. - - run: git checkout HEAD^2 - if: ${{ github.event_name == 'pull_request' }} - - # Initializes the CodeQL tools for scanning. - - name: Initialize CodeQL - uses: github/codeql-action/init@v1 - - - run: make all - - - name: Perform CodeQL Analysis - uses: github/codeql-action/analyze@v1 diff --git a/gnuplot_i.hpp b/gnuplot_i.hpp index 4cebe65..abd1de2 100644 --- a/gnuplot_i.hpp +++ b/gnuplot_i.hpp @@ -897,10 +897,7 @@ void stringtok (Container &container, container.push_back (in.substr(i)); return; } - else - { - container.push_back (in.substr(i, j - i)); - } + container.push_back (in.substr(i, j - i)); // set up for next loop i = j + 1;